Verwandte Artikel zu Handbook of Automated Reasoning (Volume II)

Handbook of Automated Reasoning (Volume II) - Hardcover

 
9780444508126: Handbook of Automated Reasoning (Volume II)
Hardcover
ISBN 10: 0444508120 ISBN 13: 9780444508126
Verlag: North Holland, 2001

Inhaltsangabe

This second volume of Handbook of Automated Reasoning covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants using dependent type systems, and nonclassical logics.

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

Verlag
North Holland
Erscheinungsdatum
2001
Sprache
Englisch
ISBN 10 
0444508120
ISBN 13 
9780444508126
Einband
Gebundene Ausgabe
Anzahl der Seiten
1188
Herausgeber
Robinson Alan J.A., Voronkov Andrei
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
GPSR Kontakt
gpsr@libri.de

Europaallee 1
Bad Hersfeld
36244
Deutschland