Springer 4 29 1997 (1 résultats)

Editeur:

Affiner les résultats avec une recherche avancée

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux'97, Pont-A-Mousson, France, May 13-16, 1997 Proceed (Paperback or Softback)
Galmiche, Didier
Langue : anglais
Edité par Springer 4/29/1997, 1997
3540629203 / 9783540629207
- Couverture souple
Vendeur : BargainBookStores, Grand Rapids, MI, Etats-UnisBargainBookStores
Vendeur avec une évaluation de 5 étoiles
Contacter le vendeur
Etat: Neuf
EUR 60,63
Frais de port gratuits
Expédition nationale : Etats-Unis
Quantité disponible : 5 disponibles
Paperback or Softback. Etat : New. Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux'97, Pont-A-Mousson, France, May 13-16, 1997 Proceed. Book.