Da: preigu, Osnabrück, Germania
EUR 50,25
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. 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 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.