Book by Boyer Robert S Moore J Strother
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Contains a precise and complete description of the computational logic develo by the authors; will serve also as a reference guide to the associated mechanical theorem proving system. Annotation copyright Book News, Inc. Portland, Or.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
EUR 10,00 für den Versand von Frankreich nach USA
Versandziele, Kosten & DauerAnbieter: Ammareal, Morangis, Frankreich
Hardcover. Zustand: Bon. Ancien livre de bibliothèque. Edition 1997. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Edition 1997. Ammareal gives back up to 15% of this item's net price to charity organizations. Bestandsnummer des Verkäufers F-934-114
Anzahl: 1 verfügbar
Anbieter: HPB-Red, Dallas, TX, USA
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_378725293
Anzahl: 1 verfügbar
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Hardcover. Zustand: Like New. Like New. book. Bestandsnummer des Verkäufers ERICA75801212295215
Anzahl: 1 verfügbar