Fachgebiet
Medium
  • 7
  • 1
Erscheinungsjahr
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
Autoren
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 8
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 2
  • 6
Preis
  • 3
  • 5
Sprachen
  • 8
Verfügbarkeit
  • 8
Katalog
  • 8
  • 2

Mathematik | Informatik

8  Treffer  für „Lutz, Carsten“


    Baader / Horrocks / Lutz An Introduction to Description Logic

    Erscheinungsjahr 2017
    Verlag: Cambridge University Press
    ISBN: 978-0-521-69542-8
    Medium: Buch
    56,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Baader / Horrocks / Lutz An Introduction to Description Logic

    Erscheinungsjahr 2017
    Verlag: Cambridge University Press
    ISBN: 978-1-108-21551-0
    Medium: eBook
    Format: PDF
    Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    37,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Lutz / Thielscher KI 2014: Advances in Artificial Intelligence

    37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-11205-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lutz / Ranise Frontiers of Combining Systems

    10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-24245-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Hölldobler / Lutz / Wansing Logics in Artificial Intelligence

    11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings
    1. Auflage 2008
    Verlag: Springer
    ISBN: 978-3-540-87802-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Biere / Lutz / Negri Automated Reasoning

    13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part II
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-32591-4
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Biere / Lutz / Negri Automated Reasoning

    13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part I
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-32588-4
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lutz / Sattler / Tinelli Description Logic, Theory Combination, and All That

    Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-22101-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb



Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular