Automated Theorem-proving in Non-classical Logics (Research notes in theoretical computer science)

Thistlewaite, Paul B. Paul B. Thistlewaite, Michael A. McRobbie, Robert K. Meyer,

ISBN 10: 0273087819 ISBN 13: 9780273087816
Verlag: FT Prentice Hall
Sprache: Englisch
Gebraucht Zustand: Very Good Softcover

Verkauft von AwesomeBooks, Wallingford, Vereinigtes Königreich

AbeBooks-Verkäufer seit 28. November 2006

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

Alle Artikel dieses Verkäufers anzeigen


Gebraucht - Softcover

Zustand: Very Good

Preis: EUR 10,29 Währung umrechnen
EUR 4,61 für den Versand von Vereinigtes Königreich nach Deutschland Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb legen