Handbook of Automated Reasoning
Unbekannt
ISBN 10: 0444508120 ISBN 13: 9780444508126
Verlag: ELSEVIER SCIENCE & TECHNOLOGY, 2001
Gebraucht
Hardcover
Verkäufer
Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
AbeBooks-Verkäufer seit 30. September 2021
Dieser Artikel ist nicht mehr verfügbar.
Beschreibung
Beschreibung:
Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher. Bestandsnummer des Verkäufers 2037895/2
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.
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.
Bibliografische Details
Titel: Handbook of Automated Reasoning
Verlag: ELSEVIER SCIENCE & TECHNOLOGY
Erscheinungsdatum: 2001
Einband: Hardcover
Zustand: Sehr gut
Beste Suchergebnisse bei AbeBooks
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
Beispielbild für diese ISBN
Handbook of Automated Reasoning: Volume II
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Hardcover. Zustand: New. Bestandsnummer des Verkäufers 6666-ELS-9780444508126
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 5 von 5 Sternen
Zustand: new. Questo è un articolo print on demand. Bestandsnummer des Verkäufers bc228190f5f0c56428bbaf4d0cd0da5a
Anzahl: Mehr als 20 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
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
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 : 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
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 of Automated Reasoning (Volume II)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9780444508126_new
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Handbook of Automated Reasoning
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 1188. Bestandsnummer des Verkäufers 26534738
Anzahl: 3 verfügbar