Automated Deduction - CADE-20

Automated Deduction - CADE-20
-0 %
Der Artikel wird am Ende des Bestellprozesses zum Download zur Verfügung gestellt.
20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
 PDF
Sofort lieferbar | Lieferzeit: Sofort lieferbar

Unser bisheriger Preis:ORGPRICE: 56,47 €

Jetzt 56,46 €* PDF

Artikel-Nr:
9783540318644
Veröffentl:
2005
Einband:
PDF
Seiten:
466
Autor:
Robert Nieuwenhuis
Serie:
Lecture Notes in Computer Science
eBook Typ:
PDF
eBook Format:
PDF
Kopierschutz:
Adobe DRM [Hard-DRM]
Sprache:
Englisch
Beschreibung:

Kunden Rezensionen

Zu diesem Artikel ist noch keine Rezension vorhanden.
Helfen sie anderen Besuchern und verfassen Sie selbst eine Rezension.