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.
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 7,45 für den Versand von Vereinigtes Königreich nach USA
Versandziele, Kosten & DauerAnbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Zustand: New. pp. xvi + 408. Artikel-Nr. 46385231
Anzahl: 1 verfügbar