Carsten Lutz – författare
Visar alla böcker från författaren Carsten Lutz.
8 produkter
An Introduction to Description Logic
Av Franz Baader, Ian Horrocks m. fl.
Häftad, 2017
939 kr
Lägg i varukorg
An Introduction to Description Logic
Av Franz Baader, Ian Horrocks m. fl.
Inbunden, 2017
1699 kr
Lägg i varukorg
Description Logic, Theory Combination, and All That
Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
Av Carsten Lutz, Uli Sattler m. fl.
Häftad, 2019
719 kr
Lägg i varukorg
Automated Reasoning
13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part I
Av Armin Biere, Carsten Lutz m. fl.
Häftad, 2026
599 kr
Lägg i varukorg
Automated Reasoning
13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part II
Av Armin Biere, Carsten Lutz m. fl.
Häftad, 2026
599 kr
Lägg i varukorg
KI 2014: Advances in Artificial Intelligence
37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014, Proceedings
Av Carsten Lutz, Michael Thielscher
Häftad, 2014
739 kr
Lägg i varukorg
Frontiers of Combining Systems
10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings
Av Carsten Lutz, Silvio Ranise
Häftad, 2015
739 kr
Lägg i varukorg
Logics in Artificial Intelligence
11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings
Av Steffen Hölldobler, Carsten Lutz m. fl.
Häftad, 2008
739 kr
Lägg i varukorg