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

 
9783642221200: Automated Reasoning with Analytic Tableaux and Related Methods: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings
Couverture souple
ISBN 10 : 3642221203 ISBN 13 : 9783642221200
Editeur : Springer, 2011

L'édition de cet ISBN n'est malheureusement plus disponible.

  • ÉditeurSpringer
  • Date d'édition2011
  • ISBN 10 3642221203
  • ISBN 13 9783642221200
  • ReliurePaperback
  • Langueanglais

(Aucun exemplaire disponible)

Chercher:



Créez une demande

Vous ne trouvez pas le livre que vous recherchez ? Nous allons poursuivre vos recherches. Si l'un de nos libraires l'ajoute aux offres sur AbeBooks, nous vous le ferons savoir !

Créez une demande

Autres éditions populaires du même titre

9783642221187: Automated Reasoning With Analytic Tableaux and Related Methods: 20th International Conference, Tableaux 2011, Bern, Switzerland, July 4-8, 2011, Proceedings

Edition présentée

ISBN 10 :  3642221181 ISBN 13 :  9783642221187
Editeur : Springer-Verlag Berlin and Heide..., 2011
Couverture souple