Taschenbuch. Condition: Neu. Theorem Proving in Higher Order Logics | 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings | Mark Aagaard (u. a.) | Taschenbuch | ix | Englisch | 2000 | Springer | EAN 9783540678632 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Seller: preigu, Osnabrück, Germany
Buch. Condition: Neu. Oxford Handbook of Sound and Imagination, Volume 2 | Mark Grimshaw-Aagaard (u. a.) | Buch | Gebunden | Englisch | 2019 | OXFORD UNIV PR | EAN 9780190460242 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.
Seller: preigu, Osnabrück, Germany
Buch. Condition: Neu. Oxford Handbook of Sound and Imagination, Volume 1 | Mark Grimshaw-Aagaard (u. a.) | Buch | Gebunden | Englisch | 2019 | OXFORD UNIV PR | EAN 9780190460167 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.