Robert Kowalski

Gebundenes Buch

Computational Logic and Human Thinking

Beschreibung

Learn how computational logic, as developed in artificial intelligence, can be applied to everyday situations.

Autor

Robert Kowalski is Emeritus Professor and Research Investigator in the Department of Computing at Imperial College London. He recently received the IJCAI 2011 Award for Research Excellence for his contributions to logic for knowledge representation and problem solving, including his pioneering work on automated theorem proving and logic programming.

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 334
• Erscheinungstermin: 2. März 2015
• Englisch
• Abmessung: 235mm x 157mm x 24mm
• Gewicht: 694g
• ISBN-13: 9780521194822
• ISBN-10: 0521194822
• Artikelnr.: 33258303