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