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)
1 edition
by Bernhard Gramlich
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
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 intelligence| 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
|
Book Details
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
History
- Created April 30, 2008
- 12 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| January 27, 2025 | Edited by MARC Bot | import existing book |
| December 31, 2022 | Edited by MARC Bot | import existing book |
| November 15, 2022 | Edited by ImportBot | import existing book |
| February 25, 2022 | Edited by ImportBot | import existing book |
| April 30, 2008 | Created by an anonymous user | Imported from amazon.com record |