Automated Reasoning with Analytic Tableaux and Related Methods : 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings

Unbekannt

ISBN 10: 3030290255 ISBN 13: 9783030290252
Verlag: Springer International Publishing, 2019
Sprache: Englisch
Gebraucht Zustand: Hervorragend Softcover

Verkauft von Buchpark, Trebbin, Deutschland

AbeBooks-Verkäufer seit 30. September 2021

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

Alle Artikel dieses Verkäufers anzeigen


Gebraucht - Softcover

Zustand: Hervorragend

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

Anzahl: 1 verfügbar

In den Warenkorb legen