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.
Neu kaufen
Diesen Artikel anzeigen
EUR 198,76
EUR 15,03 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. Bestandsnummer des Verkäufers 2037895/2
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Handbook of Automated Reasoning: Volume II
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: New. Bestandsnummer des Verkäufers 6666-ELS-9780444508126
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Handbook of Automated Reasoning. Vol.2
Print-on-DemandAnbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. Englisch. Bestandsnummer des Verkäufers 9780444508126
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Handbook of Automated Reasoning
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. pp. 1188 69:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Case Laminate on White w/Gloss Lam. Bestandsnummer des Verkäufers 8361741
Anzahl: 3 verfügbar
Beispielbild für diese ISBN
Handbook of Automated Reasoning (Volume II)
Anbieter: HPB-Red, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
hardcover. Zustand: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Bestandsnummer des Verkäufers S_350444828
Anzahl: 1 verfügbar
Foto des Verkäufers
Handbook of Automated Reasoning
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 684527-n
Anzahl: Mehr als 20 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. Bestandsnummer des Verkäufers __0444508120
Anzahl: 2 verfügbar
Foto des Verkäufers
Handbook of Automated Reasoning. Vol.2
Print-on-DemandAnbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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. Bestandsnummer des Verkäufers 9780444508126
Anzahl: 2 verfügbar
Foto des Verkäufers
Handbook of Automated Reasoning
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 684527-n
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
HANDBOOK AUTO REASON VOL II H
Print-on-DemandAnbieter: Brook Bookstore On Demand, Napoli, NA, Italien
Verkäuferbewertung 4 von 5 Sternen
Zustand: new. Questo è un articolo print on demand. Bestandsnummer des Verkäufers bc228190f5f0c56428bbaf4d0cd0da5a
Anzahl: Mehr als 20 verfügbar