Languages
Lutz, Carsten.
Overview
Works: | 1 works in 3 publications in 1 languages |
---|
Titles
Logics in artificial intelligence11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings /
by:
(1998 :); Holldobler, Steffen, (1957-); Lutz, Carsten.; SpringerLink (Online service); Wansing, H.; Wansing, Heinrich.
(Language materials, printed)
Description logic, theory combination, and all thatessays dedicated to Franz Baader on the occasion of his 60th birthday /
by:
Lutz, Carsten.; SpringerLink (Online service)
(Electronic resources)
KI 2014: Advances in Artificial Intelligence37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014. Proceedings /
by:
(1998 :); Lutz, Carsten.; SpringerLink (Online service); Thielscher, Michael.
(Language materials, printed)
Frontiers of combining systems10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015 : proceedings /
by:
(1998 :); Lutz, Carsten.; Ranise, Silvio.; SpringerLink (Online service)
(Electronic resources)
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