Compartir
Frontiers of Combining Systems: 10th International Symposium, Frocos 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings (en Inglés)
Lutz, Carsten ; Ranise, Silvio (Autor)
·
Springer
· Tapa Blanda
Frontiers of Combining Systems: 10th International Symposium, Frocos 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings (en Inglés) - Lutz, Carsten ; Ranise, Silvio
S/ 267,27
S/ 534,53
Ahorras: S/ 267,27
Elige la lista en la que quieres agregar tu producto o crea una nueva lista
✓ Producto agregado correctamente a la lista de deseos.
Ir a Mis Listas
Origen: Estados Unidos
(Costos de importación incluídos en el precio)
Se enviará desde nuestra bodega entre el
Lunes 12 de Agosto y el
Miércoles 21 de Agosto.
Lo recibirás en cualquier lugar de Perú entre 2 y 5 días hábiles luego del envío.
Reseña del libro "Frontiers of Combining Systems: 10th International Symposium, Frocos 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings (en Inglés)"
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.