Frontiers of Combining Systems: 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings - Couverture souple
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Frontiers of Combining Systems: 11th International...
Image d'archives
Frontiers of Combining Systems (eng)
impression à la demandeVendeur : Brook Bookstore On Demand, Napoli, NA, Italie
Évaluation du vendeur 3 sur 5 étoiles
Etat : new. Questo è un articolo print on demand. N° de réf. du vendeur 7b9afa7a4cdd59080f26f2996e825e5f
Acheter neuf
EUR 58,23
Expédition à EUR 6,80
Expédition depuis Italie vers Etats-Unis
Expédition depuis Italie vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Frontiers of Combining Systems: 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings (Lecture Notes in Artificial Intelligence)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783319661667_new
Acheter neuf
EUR 72,69
Expédition à EUR 13,85
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Frontiers of Combining Systems : 11th International Symposium, FroCoS 2017, Brasilia, Brazil, September 27-29, 2017, Proceedings
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783319661667
Acheter neuf
EUR 69,39
Expédition à EUR 17,91
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
Frontiers of Combining Systems
Edité par
Springer International Publishing Aug 2017, 2017
ISBN 10 : 3319661663
ISBN 13 : 9783319661667
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 364 pp. Englisch. N° de réf. du vendeur 9783319661667
Acheter neuf
EUR 69,54
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Frontiers Of Combining Systems
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur V9783319661667
Acheter neuf
EUR 85,67
Expédition à EUR 10,50
Expédition depuis Irlande vers Etats-Unis
Expédition depuis Irlande vers Etats-Unis
Quantité disponible : 15 disponible(s)
Image d'archives
Frontiers of Combining Systems: 11th International Symposium, FroCoS 2017, Bras?lia, Brazil, September 27-29, 2017, Proceedings (Lecture Notes in Computer Science)
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 323. N° de réf. du vendeur 26375414108
Acheter neuf
EUR 99,32
Expédition à EUR 3,43
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Frontiers of Combining Systems: 11th International Symposium, FroCoS 2017, Bras?lia, Brazil, September 27-29, 2017, Proceedings (Lecture Notes in Computer Science)
impression à la demandeVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Print on Demand pp. 323. N° de réf. du vendeur 370664067
Acheter neuf
EUR 100,24
Expédition à EUR 7,52
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image fournie par le vendeur
Frontiers of Combining Systems
Edité par
Springer International Publishing, 2017
ISBN 10 : 3319661663
ISBN 13 : 9783319661667
Neuf
Kartoniert / Broschiert
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Kartoniert / Broschiert. Etat : New. N° de réf. du vendeur 155241556
Acheter neuf
EUR 61,55
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Frontiers of Combining Systems: 11th International Symposium, FroCoS 2017, Bras?lia, Brazil, September 27-29, 2017, Proceedings (Lecture Notes in Computer Science)
impression à la demandeVendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. PRINT ON DEMAND pp. 323. N° de réf. du vendeur 18375414102
Acheter neuf
EUR 101,11
Expédition à EUR 9,95
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Frontiers of Combining Systems: 11th International Symposium, Proceedings
Edité par
Springer-Verlag New York Inc, 2017
ISBN 10 : 3319661663
ISBN 13 : 9783319661667
Neuf
Paperback
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 364 pages. 9.25x6.10x0.91 inches. In Stock. N° de réf. du vendeur x-3319661663
Acheter neuf
EUR 99,58
Expédition à EUR 14,45
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 2 disponible(s)