Verwandte Artikel zu Formal Methods in Artificial Intelligence (Cambridge...

Formal Methods in Artificial Intelligence (Cambridge Tracts in Theoretical Computer Science, 5) - Hardcover

Ramsay, Allan M.

 
9780521352369: Formal Methods in Artificial Intelligence (Cambridge Tracts in Theoretical Computer Science, 5)

Inhaltsangabe

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

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.