A Computational Logic Handbook (Perspectives in Computing)

Boyer, Robert S., Moore, J. Strother

ISBN 10: 0121229521 ISBN 13: 9780121229528

Verlag: Academic Pr, 1988

Sprache: Englisch

Gebraucht Zustand: Like New Hardcover

F�r sp�ter vormerken

Verk�ufer Mispah books, Redhill, SURRE, Vereinigtes K�nigreich

Verk�uferbewertung 4 von 5 Sternen

AbeBooks-Verk�ufer seit 15. April 2021

Alle Artikel dieses Verk�ufers anzeigen

Alle Exemplare dieses Buches anzeigen

Gebraucht - Hardcover

Preis: EUR 134,01 W�hrung umrechnen

EUR 29,30 f�r den Versand von Vereinigtes K�nigreich nach USA Versandziele, Kosten & Dauer

Anzahl: 1 verf�gbar

In den Warenkorb legen

F�r sp�ter vormerken

Beschreibung

Like New. Bestandsnummer des Verk�ufers ERICA75801212295215

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: A Computational Logic Handbook (Perspectives...

Verlag: Academic Pr

Erscheinungsdatum: 1988

Einband: Hardcover

Zustand: Like New

Art des Buches: book

�ber diesen Titel

Inhaltsangabe:

Book by Boyer Robert S Moore J Strother

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 have collection of General books ,Science Books, Fiction & Academic Books. we ship from multiple location. Delhi, US and UK Return Address Mispah books flat4 , Centenary court, 30 Warwick Road Redhill , SURRE RH1 1FQ United Kingdom

Zur Homepage des Verk�ufers