Isbn: 9783540615873 - theorem proving in higher order logics: 9th international conference, tphols'96, turku, finland, august 26 - 30, 1996, proceedings (lecture notes in computer science, 1125, band 1125) (1 Ergebnisse)
Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs'96, Turku, Finland, August 26 - 30, 1996, Proceedings (Lecture Notes in Computer Science)
Wright, Joakim von [Editor]; Grundy, Jim [Editor]; Harrison, John [Editor];
- Softcover
Anbieter: GuthrieBooks, Spring Branch, TX, USAGuthrieBooks
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 4,96
EUR 6,09 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Paperback. Zustand: Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
