Formal Methods in Artificial Intelligence (Cambridge Tracts in Theoretical Computer Science, 6, Band 6) - Softcover

Ramsay, Allan

 
9780521424219: Formal Methods in Artificial Intelligence (Cambridge Tracts in Theoretical Computer Science, 6, Band 6)
Softcover
ISBN 10: 0521424216 ISBN 13: 9780521424219
Verlag: Cambridge University Press, 2009

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.

Über die Autorin bzw. den Autor

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

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Cambridge University Press
Erscheinungsdatum
2009
Sprache
Englisch
ISBN 10 
0521424216
ISBN 13 
9780521424219
Einband
Taschenbuch
Anzahl der Seiten
292
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
gpsr@libri.de
gpsr@libri.de

Friedensallee 273
Hamburg
22763
Deutschland

Weitere beliebte Ausgaben desselben Titels

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

Vorgestellte Ausgabe

ISBN 10:  0521352363 ISBN 13:  9780521352369
Verlag: Cambridge University Press, 1989
Hardcover