Articles liés à Automation of Reasoning: Classical Papers on Computational...
Synopsis
Book by None
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Automation of Reasoning: Classical Papers on Computational...
Image d'archives
The Automation of Reasoning I : Classical Papers on Computational Logic 1957-1966
Edité par
Springer, 1983
ISBN 10 : 0387120432
ISBN 13 : 9780387120430
Ancien ou d'occasion
Couverture rigide
Edition originale
Vendeur : Better World Books, Mishawaka, IN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. 1st. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. N° de réf. du vendeur 2305731-6
Acheter D'occasion
EUR 80,31
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)