Geoff sutcliffe u a (2 Ergebnisse)

Taschenbuch. Zustand: Neu. Automated Deduction - CADE 28 | 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings | André Platzer (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiv | Englisch | 2021 | Springer | EAN 9783030798758 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Logic for Programming, Artificial Intelligence, and Reasoning | 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings | Geoff Sutcliffe (u. a.) | Taschenbuch | xiv | Englisch | 2005 | Springer | EAN 9783540305538 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…