語系
Lutz, Carsten.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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.
(書目-語言資料,印刷品)
Description logic, theory combination, and all thatessays dedicated to Franz Baader on the occasion of his 60th birthday /
by:
Lutz, Carsten.; SpringerLink (Online service)
(書目-電子資源)
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.
(書目-語言資料,印刷品)
Frontiers of combining systems10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015 : proceedings /
by:
(1998 :); Lutz, Carsten.; Ranise, Silvio.; SpringerLink (Online service)
(書目-電子資源)
主題
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