Logic for Computer Science: Foundations of Automatic Theorem Proving

Gallier, Jean:

ISBN 10: 0060422254 ISBN 13: 9780060422257

Verlag: Longman Higher Education, 1986

Sprache: Deutsch

Zustand: Gebraucht - Sehr gut Hardcover

F�r sp�ter vormerken

Verkauft von book-link, Nufringen, BW, Deutschland

AbeBooks-Verk�ufer seit 13. September 2024

Verk�uferbewertung 5 von 5 Sternen

Alle Artikel dieses Verk�ufers anzeigen

Alle Exemplare dieses Buches anzeigen

Gebraucht - Hardcover

Zustand: Gebraucht - Sehr gut

Preis: EUR 49,90 W�hrung umrechnen

Kostenlos 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

528 Seiten; M25-07-O-16-VG Sprache: Deutsch Gewicht in Gramm: 3.

Bestandsnummer des Verk�ufers 35279

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel

Logic for Computer Science: Foundations of Automatic Theorem Proving

Verlag

Longman Higher Education

Erscheinungsjahr

1986

Sprache

Deutsch

ISBN-10

0060422254

ISBN-13

9780060422257

Einband

hardcover

Zustand

Sehr gut

Verk�uferkataloge

Varia

�ber diesen Titel

Inhaltsangabe

Book by Gallier Jean

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

Anbieterinformationen

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

book-link
Germany

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

Versandbedingungen

Zahlungsarten

Vorauskasse

Zu Kaufgesuchen hinzuf�gen

Verwandte Artikel zu Logic for Computer Science: Foundations of Automatic...

Logic for Computer Science: Foundations of Automatic Theorem Proving

Gallier, Jean:

Gebraucht - Hardcover

Beschreibung

Bibliografische Details

�ber diesen Titel

Inhaltsangabe

Anbieterinformationen

Unternehmensdaten des Verk�ufers

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

Versandbedingungen

Zahlungsarten