Joe hurd u a (1 risultati)

Autore:

Perfeziona con la Ricerca avanzata

Altre immagini
Theorem Proving in Higher Order Logics | 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings
Joe Hurd (u. a.)
Lingua: Inglese
Editore: Springer, 2005
3540283722 / 9783540283720
- Brossura
- Print on Demand
Da: preigu, Osnabrück, Germaniapreigu
Venditore con 5 stelle
Contatta il venditore
Condizione: Nuovo
EUR 50,25
EUR 70,00 spedizione
Spedito da Germania a U.S.A.
Quantità: 5 disponibili
Taschenbuch. Condizione: Neu. Theorem Proving in Higher Order Logics | 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings | Joe Hurd (u. a.) | Taschenbuch | x | Englisch | 2005 | Springer | EAN 9783540283720 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 H…