Wolfgang Bibel

Mathematical methods of specification and synthesis of software systems '85

Épuisé

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

4,3

Deduction

Épuisé

Wolfgang Bibel Deduction

4,3

Artificial intelligence

Épuisé

Wolfgang Bibel Artificial intelligence

4,3

Automated theorem proving

Épuisé

Wolfgang Bibel Automated theorem proving

4,2

Deduktion

Épuisé

Wolfgang Bibel Deduktion

4,3

Reflexionen vor Reflexen

Épuisé

Wolfgang Bibel Reflexionen vor Reflexen

4,3

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

Épuisé

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

4,3

Wissensrepräsentation und Inferenz

Épuisé

Wolfgang Bibel Wissensrepräsentation und Inferenz

4,3

Automated theorem proving

Épuisé

Wolfgang Bibel Automated theorem proving

4,2

Lehren vom Leben

Épuisé

Wolfgang Bibel Lehren vom Leben

4,2