Languages
Lutz, Carsten.
Overview
| Works: | 1 works in 3 publications in 1 languages | |
|---|---|---|
Titles
KI 2014: Advances in Artificial Intelligence = 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014. Proceedings /
by:
Lutz, Carsten.; Thielscher, Michael.; SpringerLink (Online service)
(Electronic resources)
Description logic, theory combination, and all that = essays dedicated to Franz Baader on the occasion of his 60th birthday /
by:
Lutz, Carsten.; SpringerLink (Online service)
(Electronic resources)
Frontiers of combining systems = 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015 : proceedings /
by:
Lutz, Carsten.; Ranise, Silvio.; SpringerLink (Online service)
(Electronic resources)
Logics in artificial intelligence = 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings /
by:
Holldobler, Steffen, (1957-); Lutz, Carsten.; Wansing, H.; Wansing, Heinrich.; SpringerLink (Online service); JELIA 2008 ((2008 :)
(Language materials, printed)
Subjects
Artificial intelligence
Mathematical Logic and Formal Languages.
Computer logic.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Information Systems and Communication Service.
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Information Storage and Retrieval.
User Interfaces and Human Computer Interaction.
Computer Appl. in Administrative Data Processing.
Computer science
Artificial Intelligence.
Computer Science.
Simulation and Modeling.
Logic, Symbolic and mathematical