Frontiers of Combining Systems: 5th International Workshop, Frocos 2005, Vienna, Austria, September 19-21, 2005, Proceedings - Lecture Notes in Computer Science - Gramlich B - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540290513 - September 12, 2005
In case cover and title do not match, the title is correct

Frontiers of Combining Systems: 5th International Workshop, Frocos 2005, Vienna, Austria, September 19-21, 2005, Proceedings - Lecture Notes in Computer Science

Price
$ 54.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 8 - 14
Add to your iMusic wish list

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  

Mere med samme udgiver