Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux 2003, Rome, Italy, September 9-12, 2003. Proceeding (Paperback or Softback)

Cialdea Mayer, Marta

ISBN 10: 3540407871 ISBN 13: 9783540407874
Verlag: Springer 9/3/2003, 2003
Sprache: Englisch
Zustand: Neu Softcover

Verkauft von BargainBookStores, Grand Rapids, MI, USA

AbeBooks-Verkäufer seit 23. Januar 2002

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Alle Artikel dieses Verkäufers anzeigen


Neu - Softcover

Zustand: Neu

Preis:
EUR 83,96
Versand gratis
Versand innerhalb von USA

Anzahl: 5 verfügbar

In den Warenkorb legen