Springer 7 17 2002 (1 résultats)

Editeur:

Affiner les résultats avec une recherche avancée

Automated Deduction - Cade-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings (Paperback or Softback)
Voronkov, Andrei
Langue : anglais
Edité par Springer 7/17/2002, 2002
3540439315 / 9783540439318
- Couverture souple
Vendeur : BargainBookStores, Grand Rapids, MI, Etats-UnisBargainBookStores
Vendeur avec une évaluation de 5 étoiles
Contacter le vendeur
Etat: Neuf
EUR 59,49
Frais de port gratuits
Expédition nationale : Etats-Unis
Quantité disponible : 5 disponible(s)
Paperback or Softback. Etat : New. Automated Deduction - Cade-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings. Book.