Konrad slind u a (1 risultati)

Autore:

Perfeziona con la Ricerca avanzata

Altre immagini
Theorem Proving in Higher Order Logics | 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings
Konrad Slind (u. a.)
Lingua: Inglese
Editore: Springer, 2004
3540230173 / 9783540230175
- 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 | 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings | Konrad Slind (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2004 | Springer | EAN 9783540230175 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu Print on Demand.…