Languages
Gramlich, Bernhard.
Overview
| Works: | 0 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Frontiers of Combining Systems :5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings
by:
(1998 :); Gramlich, Bernhard.; SpringerLink (Online service)
(Electronic resources)
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)
(Electronic resources)
Subjects
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.