語系
Lutz, Carsten.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Logics in artificial intelligence = 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings /
by:
Wansing, H.; SpringerLink (Online service); JELIA 2008 ((2008 :); Lutz, Carsten.; Holldobler, Steffen, (1957-); Wansing, Heinrich.
(書目-語言資料,印刷品)
Frontiers of Combining Systems = 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings /
by:
Ranise, Silvio.; SpringerLink (Online service); Lutz, Carsten.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Frontiers of combining systems = 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015 : proceedings /
by:
Ranise, Silvio.; SpringerLink (Online service); Lutz, Carsten.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Description Logic, Theory Combination, and All That = Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday /
by:
SpringerLink (Online service); Sattler, Uli.; Wolter, Frank.; Turhan, Anni-Yasmin.; Lutz, Carsten.; Tinelli, Cesare.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Software Engineering/Programming and Operating Systems.
Computer logic.
Artificial intelligence.
Software engineering.
Computer Appl. in Administrative Data Processing.
Computer Science.
Programming Techniques.
Computer programming.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer science
Artificial intelligence
Artificial Intelligence (incl. Robotics)
Application software.
Information Systems and Communication Service.
Artificial Intelligence.
Logic, Symbolic and mathematical
Computers.