Sattler, Uli.
Overview
Works: | 0 works in 2 publications in 1 languages |
---|
Titles
Frontiers of combining systems = 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023 : proceedings /
by:
SpringerLink (Online service); Sattler, Uli.; Suda, Martin.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Knowledge Engineering and Knowledge Management = EKAW 2014 Satellite Events, VISUAL, EKM1, and ARCOE-Logic, Linköping, Sweden, November 24-28, 2014. Revised Selected Papers. /
by:
Sattler, Uli.; SpringerLink (Online service); Blomqvist, Eva.; Ghidini, Chiara.; Presutti, Valentina.; Lambrix, Patrick.; Hyvönen, Eero.; Qi, Guilin.; Ding, Ying.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
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]
Automated reasoning = 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012 : proceedings /
by:
SpringerLink (Online service); Sattler, Uli.; Workshop on the Preservation of Stability under Discretization ((2001 :); Miller, Dale.; Gramlich, Bernhard.
(Language materials, printed)
Subjects
Software Engineering.
Mathematical logic.
Software Engineering/Programming and Operating Systems.
Computer logic.
Artificial intelligence.
Automatic theorem proving
Computer Communication Networks.
Formal Languages and Automata Theory.
Software engineering.
Computer Appl. in Administrative Data Processing.
Information Systems Applications (incl. Internet).
Mathematics of Computing.
Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Numeric Computing.
Computer science
Computer Engineering and Networks.
Computer Science Logic and Foundations of Programming.
Computer communication systems.
Computer logic
Artificial Intelligence (incl. Robotics)
Application software.
Information Systems and Communication Service.
Information storage and retrieval.
Artificial Intelligence.
Logic, Symbolic and mathematical
Information Storage and Retrieval.
Computers.