Verwandte Artikel zu Handbook of Automated Reasoning: Volume II
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.
Reseña del editor
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagElsevier BV
- Erscheinungsdatum2001
- ISBN 10 0444508120
- ISBN 13 9780444508126
- EinbandTapa dura
- SpracheEnglisch
- Anzahl der Seiten1188
- HerausgeberRobinson Alan
- Kontakt zum HerstellerNicht verfügbar
Neu kaufen
Diesen Artikel anzeigen
EUR 235,08
EUR 11,72 für den Versand von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer
Suchergebnisse für Handbook of Automated Reasoning: Volume II
Beispielbild für diese ISBN
Handbook of Automated Reasoning
Verlag:
ELSEVIER SCIENCE & TECHNOLOGY, 2001
ISBN 10: 0444508120
ISBN 13: 9780444508126
Gebraucht
Hardcover
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 1188 | Sprache: Englisch | Produktart: Bücher. Artikel-Nr. 2037895/2
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Handbook of Automated Reasoning : Volume II (Handbook of Automated Reasoning)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Brand New. 1st edition. 2122 pages. 9.50x6.75x2.00 inches. In Stock. Artikel-Nr. __0444508120
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Handbook of Automated Reasoning (Volume II)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. ria9780444508126_new
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
HANDBK OF AUTOMATED REASONING
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Gebunden. Zustand: New. 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.Pa. Artikel-Nr. 594685341
Anzahl: Mehr als 20 verfügbar