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@libri.de
gpsr@libri.de

Friedensallee 273
Hamburg
22763
Deutschland

Weitere beliebte Ausgaben desselben Titels

9780262182225: Handbook of Automated Reasoning, Volume 2

Vorgestellte Ausgabe

ISBN 10:  026218222X ISBN 13:  9780262182225
Verlag: MIT PR, 2001
Hardcover