Wolfgang Bibel

Mathematical methods of specification and synthesis of software systems '85

Uitverkocht

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

4,3

Deduction

Uitverkocht

Wolfgang Bibel Deduction

4,3

Artificial intelligence

Uitverkocht

Wolfgang Bibel Artificial intelligence

4,3

Automated theorem proving

Uitverkocht

Wolfgang Bibel Automated theorem proving

4,2

Deduktion

Uitverkocht

Wolfgang Bibel Deduktion

4,3

Reflexionen vor Reflexen

Uitverkocht

Wolfgang Bibel Reflexionen vor Reflexen

4,3

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

Uitverkocht

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

4,3

Wissensrepräsentation und Inferenz

Uitverkocht

Wolfgang Bibel Wissensrepräsentation und Inferenz

4,3

Automated theorem proving

Uitverkocht

Wolfgang Bibel Automated theorem proving

4,2

Lehren vom Leben

Uitverkocht

Wolfgang Bibel Lehren vom Leben

4,2