Languages
Lutz, Carsten.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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.
(Language materials, printed)
Frontiers of Combining Systems = 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings /
by:
Ranise, Silvio.; SpringerLink (Online service); Lutz, Carsten.
(Language materials, printed)
, [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 :)
(Language materials, printed)
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.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
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.