Tell your friends about this item:
Frontiers of Combining Systems: 5th International Workshop, Frocos 2005, Vienna, Austria, September 19-21, 2005, Proceedings - Lecture Notes in Computer Science Gramlich B
Frontiers of Combining Systems: 5th International Workshop, Frocos 2005, Vienna, Austria, September 19-21, 2005, Proceedings - Lecture Notes in Computer Science
Gramlich B
Constitutes the refereed proceedings of the 5th International Workshop on Frontiers of Combining Systems, FroCoS 2005, held in Vienna, Austria. This book includes 19 full papers that are organized in topical sections on combinations of logics, theories, and decision procedures; constraint solving and programming; and others.
321 pages, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | September 12, 2005 |
| ISBN13 | 9783540290513 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 321 |
| Dimensions | 156 × 234 × 17 mm · 471 g |
| Language | German |