An edition of Frontiers of Combining Systems (2005)
Frontiers of Combining Systems
5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings (Lecture Notes in Computer Science)
By Bernhard Gramlich
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
October 19, 2005
Publisher
Springer
Language
eng
Pages
321
Description:
subjects: Constraint, Entscheidungsproblem, Mathematische Logik, Congrès, MATHEMATICS, Computer science, Logic, Infinity, Logique mathématique, Informatique, Logique symbolique et mathématique, Symbolic and mathematical Logic, Lineare Optimierung, Deduktionssystem, Résolution de problème, Automatisches Beweisverfahren, Congresses, Computeralgebra, Artificial intelligence