The Computational Logic Handbook

Moore J. Strother Boyer Robert S.

ISBN 10: 0121229521 ISBN 13: 9780121229528

Verlag: Elsevier, 1988

Sprache: Englisch

Gebraucht Zustand: Used Hardcover

F�r sp�ter vormerken

Verkauft von Biblios, Frankfurt am main, HESSE, Deutschland

AbeBooks-Verk�ufer seit 10. September 2024

Verk�uferbewertung 5 von 5 Sternen

Alle Artikel dieses Verk�ufers anzeigen

Alle Exemplare dieses Buches anzeigen

Gebraucht - Hardcover

Zustand: Used

Preis: EUR 69,67 W�hrung umrechnen

EUR 2,30 f�r den Versand innerhalb von/der Deutschland Versandziele, Kosten & Dauer

Anzahl: 1 verf�gbar

In den Warenkorb legen

F�r sp�ter vormerken

Beschreibung

pp. xvi + 408.

Bestandsnummer des Verk�ufers 1845381530

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: The Computational Logic Handbook
Verlag: Elsevier
Erscheinungsjahr: 1988
Sprache: Englisch
ISBN-10: 0121229521
ISBN-13: 9780121229528
Einband: Hardcover
Zustand: Used

�ber diesen Titel

Inhaltsangabe

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.

Rese�a del editor

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.

Anbieterinformationen

We carry a wide selection of books from South Asia, United States, UK.

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Readingos GmbH
Kaiserstra�e 47, Frankfurt am Main, 60329, Germany

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

Versandbedingungen

To ensure faster delivery, books may be shipped from any of the following locations; Germany, the United Kingdom (UK), the United States (US),based on the buyer's address and product availability.

Impressum & Info zum Verk�ufer

Zahlungsarten

Zu Kaufgesuchen hinzuf�gen