Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
Previews available in: English
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 intelligenceShowing 1 featured edition. View all 1 editions?
Edition | Availability |
---|---|
1
Frontiers of Combining Systems: 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings (Lecture Notes in Computer Science)
October 19, 2005, Springer
Paperback
in English
- 1 edition
3540290516 9783540290513
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?February 25, 2022 | Edited by ImportBot | import existing book |
July 2, 2018 | Edited by ImportBot | import new book |
April 28, 2010 | Edited by Open Library Bot | Linked existing covers to the work. |
December 10, 2009 | Created by WorkBot | add works page |