Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > Applications of computing > Artificial intelligence

Buy Now

Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings (Paperback, 1st ed. 2015) Loot Price: R2,679

Discovery Miles 26 790

Repayment Terms: R251 pm x 12*

Add to cart

Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings...

Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings (Paperback, 1st ed. 2015)

Carsten Lutz, Silvio Ranise

Series: Lecture Notes in Computer Science, 9322

(sign in to rate)

Loot Price R2,679 Discovery Miles 26 790 | Repayment Terms: R251 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

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.

General

Imprint:	Springer International Publishing AG
Country of origin:	Switzerland
Series:	Lecture Notes in Computer Science, 9322
Release date:	November 2015
First published:	2015
Editors:	Carsten Lutz • Silvio Ranise
Dimensions:	235 x 155 x 20mm (L x W x T)
Format:	Paperback
Pages:	357
Edition:	1st ed. 2015
ISBN-13:	978-3-319-24245-3
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Computing & IT > Applications of computing > Computer modelling & simulation Books > Computing & IT > Computer software packages > Computer graphics software > General Books > Computing & IT > Applications of computing > Artificial intelligence > General Promotions
LSN:	3-319-24245-8
Barcode:	9783319242453