語系
Baumgartner, Peter.
概要
| 作品: | 4 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Phraseological dictionary.general vocabulary in technical and scientific texts /English-German
by:
Baumgartner, Peter.; Kraus, Roland.; SpringerLink (Online service)
(書目-電子資源)
Theory reasoning in connection calculi
by:
Baumgartner, Peter.; SpringerLink (Online service)
(書目-電子資源)
Automated reasoning4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings /
by:
(1998 :); Armando, Alessandro.; Baumgartner, Peter.; Dowek, Gilles.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Language Education.
Logics and Meanings of Programs.
English language
Automatic theorem proving
Artificial Intelligence (incl. Robotics)
Science, general.
Computer logic
Automatic theorem proving.
Linguistics.
Translation.
Computer Science.
Engineering, general.