Autres éditions populaires du même titre
Résultats de recherche pour Automated Theorem Proving: A Logical Basis
Image d'archives
Automated Theorem Proving: A Logical Basis. Fundamental Studies in Computer Science, Vol. 6.
Edité par
Amsterdam (NL), North-Holland., 1978
ISBN 10 : 0720404991
ISBN 13 : 9780720404999
Ancien ou d'occasion
Couverture rigide
Vendeur : Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Gut. 405 p., Good condition according to age. Note of ownership. Paper slightly brownished at the edges. Sprache: Englisch Gewicht in Gramm: 940. N° de réf. du vendeur 861127
Acheter D'occasion
EUR 28,70
Expédition à EUR 20
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Automated theorem proving: A logical basis (Fundamental studies in computer science)
Edité par
sole distributor for the U.S.A. and Canada, Elsevi, 1978
ISBN 10 : 0720404991
ISBN 13 : 9780720404999
Ancien ou d'occasion
Couverture rigide
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
hardcover. Etat : Good. Good. Dust Jacket NOT present. CD WILL BE MISSING. . SHIPS FROM MULTIPLE LOCATIONS. book. N° de réf. du vendeur ERICA82907204049913
Acheter D'occasion
EUR 205,61
Expédition à EUR 29,18
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)