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 2,30 für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & DauerAnbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Zustand: Used. pp. xvi + 408. Artikel-Nr. 1845381530
Anzahl: 1 verfügbar
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Zustand: Used. pp. xvi + 408. Artikel-Nr. 46385231
Anzahl: 1 verfügbar