9783540615873 - theorem proving in higher order logics: 9th international conference, tphols '96 turku, finland, august 26-30, 1996 : proceedings: v. 1125 (2 risultati)
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];
- Brossura
Da: GuthrieBooks, Spring Branch, U.S.A.GuthrieBooks
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 4,95
EUR 6,07 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
Theorem Proving in Higher Order Logics : 9th International Conference, TPHOL 96, Turku, Finland, August 1996: Proceedings
Wright, J., International Conference on Theorem Proving in Hig, Grundy, J., Harrison, J.
- Brossura
Da: Better World Books: West, Reno, U.S.A.Better World Books: West
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 15,90
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: Good. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
