Languages
Gramlich, Bernhard.
Overview
Works: | 1 works in 2 publications in 1 languages |
---|
Titles
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.
(Electronic resources)
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.
(Electronic resources)
Subjects
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.