語系
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
Computer Science.
Programming Techniques.
Automatic theorem proving
Numeric Computing.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer science
Logic, Symbolic and mathematical
Mathematics of Computing.