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
L'édition de cet ISBN n'est malheureusement plus disponible.
Afficher les exemplaires de cette édition ISBN
- ÉditeurSpringer-Verlag Berlin and Heidelberg GmbH & Co. K
- Date d'édition2011
- ISBN 10 3642221181
- ISBN 13 9783642221187
- ReliureBroché
- Nombre de pages279
Acheter neuf
En savoir plus sur cette édition
EUR 65,91
Frais de port :
Gratuit
Vers Etats-Unis
Meilleurs résultats de recherche sur AbeBooks
Image fournie par le vendeur
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) [Soft Cover ]
Edité par
Springer
(2011)
ISBN 10 : 3642221181
ISBN 13 : 9783642221187
Neuf
Soft Cover
Quantité disponible : 10
Vendeur :
Evaluation vendeur
Description du livre Soft Cover. Etat : new. N° de réf. du vendeur 9783642221187
Acheter neuf
EUR 65,91
Autre devise
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
Quantité disponible : 3
Vendeur :
Evaluation vendeur
Description du livre 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
Acheter neuf
EUR 66,66
Autre devise