Automated Theorem Proving: A Logical Basis - Couverture rigide

Loveland, Donald W.

9780720404999: Automated Theorem Proving: A Logical Basis

Couverture rigide

ISBN 10 : 0720404991 ISBN 13 : 9780720404999

Editeur : North-Holland, 1978

Afficher les exemplaires de cette �dition comportant l'ISBN

1 D'occasion

De EUR 28,70

0 Neuf

D�tails de l'�dition

�diteur: North-Holland
Date d'�dition: 1978
Langue: anglais
ISBN 10: 0720404991
ISBN 13: 9780720404999
Reliure: Reli�
Nombre de pages: 420
Coordonn�es du fabricant: non disponible
Personne responsable: non disponible

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.

Loveland, Donald W.:

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

Contacter le vendeur

Acheter D'occasion

EUR 28,70

Exp�dition �EUR 20
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Articles li�s � Automated Theorem Proving: A Logical Basis