Carsten Lutz U A (6 results)

Taschenbuch. Condition: Neu. Automated Reasoning | 13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part II | Armin Biere (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xii | Englisch | 2026 | Springer | EAN 9783032325914 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condition: Neu. Automated Reasoning | 13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part I | Armin Biere (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xix | Englisch | 2026 | Springer | EAN 9783032325884 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condition: Neu. Description Logic, Theory Combination, and All That | Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday | Carsten Lutz (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiii | Englisch | 2019 | Springer | EAN 9783030221010 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condition: Neu. Frontiers of Combining Systems | 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings | Carsten Lutz (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvii | Englisch | 2015 | Springer | EAN 9783319242453 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condition: Neu. Logics in Artificial Intelligence | 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings | Steffen Hölldobler (u. a.) | Taschenbuch | xi | Englisch | 2008 | Springer | EAN 9783540878025 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Taschenbuch. Condition: Neu. KI 2014: Advances in Artificial Intelligence | 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014, Proceedings | Carsten Lutz (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xii | Englisch | 2014 | Springer | EAN 9783319112053 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…