Handbook of Automated Reasoning (Volume 1) - Hardcover

9780444508133: Handbook of Automated Reasoning (Volume 1)

Hardcover

ISBN 10: 0444508139 ISBN 13: 9780444508133

Verlag: North Holland, 2001

Handbook of Automated Reasoning presents overviews of the fundamental notations, techniques, ideas and methods developed and used in automated reasoning and its practical applications, which are used in many areas of computer science, including software and hardware, logic and functional programming, formal methods, knowledge representation, deductive databases, and artificial intelligence.

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

Verlag: North Holland
Erscheinungsdatum: 2001
Sprache: Englisch
ISBN 10: 0444508139
ISBN 13: 9780444508133
Einband: Gebundene Ausgabe
Anzahl der Seiten: 2128
Herausgeber: Robinson Alan J.A., Voronkov Andrei
Kontakt zum Hersteller: Nicht verf�gbar
Verantwortliche Person: Nicht verf�gbar

Suchergebnisse f�r Handbook of Automated Reasoning (Volume 1)

Beispielbild f�r diese ISBN