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)
Hardcover
ISBN 10: 0521352363 ISBN 13: 9780521352369
Verlag: Cambridge University Press, 1989

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.

Verlag
Cambridge University Press
Erscheinungsdatum
1989
Sprache
Englisch
ISBN 10 
0521352363
ISBN 13 
9780521352369
Einband
Gebundene Ausgabe
Anzahl der Seiten
296
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Avery
https://www.avery.fr/

chemin des peupliers 27
Dardilly
Frankreich

Weitere beliebte Ausgaben desselben Titels

9780521424219: Formal Methods in Artificial Intelligence (Cambridge Tracts in Theoretical Computer Science, 6, Band 6)

Vorgestellte Ausgabe

ISBN 10:  0521424216 ISBN 13:  9780521424219
Verlag: Cambridge University Press, 2009
Softcover