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

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

We specialise in General Interest Books from South Asian countries.

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

BOOKS AND PERIODICALS AGENCY LTD
90 Barnet Gate Lane, Barnet, EN5 2AX, United Kingdom

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

Returns accepted if you are not satisfied with the Service or Book.

Versandbedingungen

Best packaging and fast delivery

Zahlungsarten

Zu Kaufgesuchen hinzuf�gen

Verwandte Artikel zu The Computational Logic Handbook

The Computational Logic Handbook

Moore J. Strother Boyer Robert S.

Gebraucht - Hardcover

Beschreibung

Bibliografische Details

�ber diesen Titel

Inhaltsangabe