Automation of Reasoning: Classical Papers on Computational Logic, 1957-1966 - Couverture rigide

9780387120430: Automation of Reasoning: Classical Papers on Computational Logic, 1957-1966

Couverture rigide

ISBN 10 : 0387120432 ISBN 13 : 9780387120430

Editeur : Springer Verlag, 1983

Afficher les exemplaires de cette �dition comportant l?ISBN

1 D'occasion

De EUR 32,52

0 Neuf

Book by None

Les informations fournies dans la section � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.

�diteur: Springer Verlag
Date d'�dition: 1983
Langue: anglais
ISBN 10: 0387120432
ISBN 13: 9780387120430
Reliure: Reli�
�diteur: Siekmann Jorg H., Wrightson Graham
Coordonn�es du fabricant: non disponible
Personne responsable: non disponible

Autres �ditions populaires du m�me titre

9783540120438: Automation of Reasoning: Classical Papers on Computational Logic 1957-1966

Edition pr�sent�e

ISBN 10 : 3540120432 ISBN 13 : 9783540120438
Editeur : Springer-Verlag Berlin and Heide..., 1983
Couverture rigide

Springer, 2012 (Couverture souple)

R�sultats de recherche pour Automation of Reasoning: Classical Papers on Computational...

Image d'archives

Automation of Reasoning 1: Classical Papers on Computational Logic, 1957-1966

Siekmann, Jorg & Wrightson, Graham (eds)

Edit� par Springer, 1983

ISBN 10 : 0387120432 ISBN 13 : 9780387120430

Ancien ou d'occasion Couverture rigide

Vendeur : Midtown Scholar Bookstore, Harrisburg, PA, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

hardcover. Etat : Good. Volume 1: Classical Papers on Computational Logic 1957-1966 No dust jacket. Good hardcover with some shelfwear; may have previous owner's name inside. Standard-sized. N� de r�f. du vendeur mon0000190568

Contacter le vendeur

Acheter D'occasion

EUR 32,52

Exp�dition �EUR 5,09
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier