Automated Reasoning with Analytic Tableaux and Related Methods

De Nivelle, Hans

ISBN 10: 331924311X ISBN 13: 9783319243115
Verlag: Springer International Publishing, 2015
Sprache: Englisch
Neu Zustand: New Softcover

Verkauft von moluna, Greven, Deutschland

AbeBooks-Verkäufer seit 9. Juli 2020

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

Alle Artikel dieses Verkäufers anzeigen


Neu - Softcover

Zustand: New

Preis: EUR 48,37 Währung umrechnen
Kostenlos für den Versand innerhalb von/der Deutschland Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb legen