Sattler, Uli.
概要
| 作品: | 0 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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 :)
(書目-語言資料,印刷品)
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.
(書目-語言資料,印刷品)
, [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.
(書目-語言資料,印刷品)
, [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.
(書目-語言資料,印刷品)
主題
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.