Wolfgang Bibel

Mathematical methods of specification and synthesis of software systems '85

Esaurito

Wolfgang Bibel Mathematical methods of specification and synthesis of software systems '85

4,3

Deduction

Esaurito

Wolfgang Bibel Deduction

4,3

Artificial intelligence

Esaurito

Wolfgang Bibel Artificial intelligence

4,3

Automated theorem proving

Esaurito

Wolfgang Bibel Automated theorem proving

4,2

Deduktion

Esaurito

Wolfgang Bibel Deduktion

4,3

Reflexionen vor Reflexen

Esaurito

Wolfgang Bibel Reflexionen vor Reflexen

4,3

Formierung eines Forschungsgebiets – Künstliche Intelligenz und Intellektik an der Technischen Universität München

Esaurito

Wolfgang Bibel Formierung eines Forschungsgebiets – Künstliche Intelligenz und Intellektik an der Technischen Universität München

4,3

Wissensrepräsentation und Inferenz

Esaurito

Wolfgang Bibel Wissensrepräsentation und Inferenz

4,3

Automated theorem proving

Esaurito

Wolfgang Bibel Automated theorem proving

4,2

Lehren vom Leben

Esaurito

Wolfgang Bibel Lehren vom Leben

4,2