|
|
books
| book details |
Frontiers of Combining Systems: 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings
Edited by Carsten Lutz, Edited by Silvio Ranise
|
| on special |
normal price: R 1 707.95
Price: R 1 536.95
|
| book description |
This book constitutes the proceedings of the 10th International Symposium on Frontiers of Combining Systems, FroCoS 2015, held in Wroclaw, Poland, in September 2015. The 20 papers presented in this volume were carefully reviewed and selected from 34 submissions. They were organized in topical sections named: description logics; theorem proving and model building; decision procedures; decision procedures for verification; rewriting and constraint solving; transformations between symbolic systems; combination methods; and reasoning in large theories. The book also contains one invited talk in full-paper length.Â
| product details |
Normally shipped |
Publisher | Springer International Publishing AG
Published date | 12 Nov 2015
Language |
Format | Paperback / softback
Pages | 357
Dimensions | 235 x 155 x 0mm (L x W x H)
Weight | 0g
ISBN | 978-3-3192-4245-3
Readership Age |
BISAC | computers / artificial intelligence
| other options |
Normally shipped |
Readership Age |
Normal Price | R 2 114.95
Price | R 1 903.95
| on special |
|
|
To view the items in your trolley please sign in.
| sign in |
|
|
|
| specials |
|
|
Mason Coile
Paperback / softback
224 pages
was: R 520.95
now: R 468.95
|
A terrifying locked-room mystery set in a remote outpost on Mars.
|
An epic love story with the pulse of a thriller that asks: what would you risk for a second chance at first love?
|
|
|
|
|
|
