語系
Gramlich, Bernhard.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Automated reasoning = 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012 : proceedings /
by:
Sattler, Uli.; SpringerLink (Online service); Congress on Progress and Controversies in Oncological Urology (2000:); Miller, Dale.; Gramlich, Bernhard.
(書目-電子資源)
Frontiers of Combining Systems : = 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings
by:
Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service); Gramlich, Bernhard.
(書目-電子資源)
主題
Software Engineering.
Artificial Intelligence (incl. Robotics)
Computer logic
Programming Techniques.
Computer Science.
Automatic theorem proving
Mathematical Logic and Formal Languages.
Computer science
Numeric Computing.
Logics and Meanings of Programs.
Logic, Symbolic and mathematical
Mathematics of Computing.