Languages
Baumgartner, Peter.
Overview
| Works: | 4 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Phraseological dictionary.general vocabulary in technical and scientific texts /English-German
by:
Baumgartner, Peter.; Kraus, Roland.; SpringerLink (Online service)
(Electronic resources)
Theory reasoning in connection calculi
by:
Baumgartner, Peter.; SpringerLink (Online service)
(Electronic resources)
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)
(Language materials, printed)
Subjects
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.