Compartir
Frontiers of Combining Systems: 11th International Symposium, Frocos 2017, Brasília, Brazil, September 27-29, 2017, Proceedings (en Inglés)
Dixon, Clare ; Finger, Marcelo (Autor)
·
Springer
· Tapa Blanda
Frontiers of Combining Systems: 11th International Symposium, Frocos 2017, Brasília, Brazil, September 27-29, 2017, Proceedings (en Inglés) - Dixon, Clare ; Finger, Marcelo
$ 1,726.09
$ 2,876.82
Ahorras: $ 1,150.73
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 22 de Julio y el
Martes 30 de Julio.
Lo recibirás en cualquier lugar de México entre 1 y 3 días hábiles luego del envío.
Reseña del libro "Frontiers of Combining Systems: 11th International Symposium, Frocos 2017, Brasília, Brazil, September 27-29, 2017, Proceedings (en Inglés)"
This book constitutes the proceedings of the 11th International Symposium on Frontiers of Combining Systems, FroCoS 2017, held in Brasília, Bazil, in September 2017. The 17 papers presented in this volume were carefully reviewed and selected from 26 submissions. They were organized in topical sections named: description and temporal logics, decision procedures, decidability and verification, SAT, SMT and automated theorem proving, term rewriting, and properties and combinations of logics.The paper 'Subtropical Satisfiability' is open access under a CC BY 4.0 license via link.springer.com.