Articles liés à Automated Reasoning With Analytic Tableaux and Related...
Automated Reasoning With Analytic Tableaux and Related Methods: 20th International Conference, Tableaux 2011, Bern, Switzerland, July 4-8, 2011, Proceedings - Couverture souple
- ÉditeurSpringer-Verlag Berlin and Heidelberg GmbH & Co. K
- Date d'édition2011
- ISBN 10 3642221181
- ISBN 13 9783642221187
- ReliureBroché
- Langueanglais
- Nombre de pages279
- ÉditeurBrünnler Kai, Metcalfe George
Acheter neuf
Afficher cet article
EUR 54,16
EUR 3,52 expédition vers Etats-Unis
Destinations, frais et délais
Résultats de recherche pour Automated Reasoning With Analytic Tableaux and Related...
Image d'archives
Automated Reasoning with Analytic Tableaux and Related Methods: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings (Lecture Notes in Computer Science, 6793)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020220988
Quantité disponible : 1 disponible(s)
Image d'archives
Automated Reasoning with Analytic Tableaux and Related Methods (Paperback)
Edité par
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2011
ISBN 10 : 3642221181
ISBN 13 : 9783642221187
Neuf
Paperback
Vendeur : Grand Eagle Retail, Fairfield, OH, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : new. Paperback. This book constitutes the refereed proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2011, held in Bern, Switzerland, in July 2011.The 16 revised research papers presented together with 2 system descriptions were carefully reviewed and selected from 34 submissions. The papers cover many topics in the wide range of applications of tableaux and related methods such as analytic tableaux for various logics, related techniques and concepts, related methods, new calculi and methods for theorem proving in classical and non-classical logics, as well as systems, tools, implementations and applications; all with a special focus on hardware and software verifications, semantic technologies, and knowledge engineering. This book constitutes the refereed proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2011, held in Bern, Switzerland, in July 2011.The 16 revised research papers presented together with 2 system descriptions were carefully reviewed and selected from 34 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N° de réf. du vendeur 9783642221187
Quantité disponible : 1 disponible(s)
Image d'archives
Automated Reasoning With Analytic Tableaux and Related Methods: 20th International Conference, Tableaux 2011, Bern, Switzerland, July 4-8, 2011, Proceedings
Edité par
Springer-Verlag New York Inc, 2011
ISBN 10 : 3642221181
ISBN 13 : 9783642221187
Neuf
Paperback
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 2011 edition. 277 pages. 9.00x6.00x0.50 inches. In Stock. N° de réf. du vendeur x-3642221181
Quantité disponible : 2 disponible(s)
Image d'archives
Automated Reasoning with Analytic Tableaux and Related Methods : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings
Edité par
Springer-Verlag GmbH, 2011
ISBN 10 : 3642221181
ISBN 13 : 9783642221187
Ancien ou d'occasion
Couverture souple
Vendeur : Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Sehr gut. Zustand: Sehr gut - Neubindung, Buchrücken leicht eingerissen, Ausg. 2011 | Seiten: 277 | Sprache: Englisch | Produktart: Bücher. N° de réf. du vendeur 10842732/12
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Automated Reasoning with Analytic Tableaux and Related Methods
Edité par
Springer Berlin Heidelberg, 2011
ISBN 10 : 3642221181
ISBN 13 : 9783642221187
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Up-to-date resultsFast track conference proceedingsState-of-the-art reportThis book constitutes the refereed proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TAB. N° de réf. du vendeur 5052779
Quantité disponible : 3 disponible(s)