Allan Ramsay

Broschiertes Buch

Formal Methods in Artificial Intelligence

Beschreibung

This book covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving.

Autor

Allan Ramsay is an Emeritus Professor. He is highly skilled in Python and has extensive knowledge of Emotion Analysis.

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 292
• Erscheinungstermin: 28. Februar 2009
• Englisch
• Abmessung: 244mm x 170mm x 16mm
• Gewicht: 508g
• ISBN-13: 9780521424219
• ISBN-10: 0521424216
• Artikelnr.: 26184094