Wrightson g editor (2 résultats)

Auteur:

Affiner les résultats avec une recherche avancée

Automation of Reasoning: Classical Papers on Computational Logic 1957-1966 (Symbolic Computation / Artificial Intelligence)
Siekmann, J. (Editor) / Wrightson, G. (Editor)
Langue : anglais
Edité par Springer-Verlag, 2012
3642819540 / 9783642819544
- Couverture souple
Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books
Vendeur avec une évaluation de 5 étoiles
Contacter le vendeur
Etat: Neuf
EUR 162,64
EUR 17,82 expédition
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 2 disponibles
Paperback. Etat : Brand New. reprint edition. 537 pages. 9.61x6.61x1.50 inches. In Stock.
Automation of Reasoning: 2: Classical Papers on Computational Logic 1967-1970 (Symbolic Computation / Artificial Intelligence)
Siekmann, J. (Editor) / Wrightson, G. (Editor)
Langue : anglais
Edité par Springer-Verlag, 2012
3642819575 / 9783642819575
- Couverture souple
Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books
Vendeur avec une évaluation de 5 étoiles
Contacter le vendeur
Etat: Neuf
EUR 164,70
EUR 17,82 expédition
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 2 disponibles
Paperback. Etat : Brand New. reprint edition. 649 pages. 9.60x6.70x1.50 inches. In Stock.