Springer 7 16 2003 (1 résultats)

Editeur:

Automated Deduction - Cade-19: 19th International Conference on Automated Deduction Miami Beach, Fl, Usa, July 28 - August 2, 2003, Proceedings (Paperback or Softback)
Baader, Franz
Langue : anglais
Edité par Springer 7/16/2003, 2003
3540405593 / 9783540405597
- 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-19: 19th International Conference on Automated Deduction Miami Beach, Fl, Usa, July 28 - August 2, 2003, Proceedings. Book.
Découvrir plus de contenus de Franz Baader
Parcourez leurs publications et articles de collection.Explorer Franz Baader

Automated Deduction - Cade-19: 19th International Conference on Automated Deduction Miami Beach, Fl, Usa, July 28 - August 2, 2003, Proceedings (Paperback or Softback)