Tenth International Conference on Automated Deduction - Proceedings Kaiserslautern, FRG, July 24-27, 1990

Stickel,Siekmann,

ISBN 10: 0387528857 ISBN 13: 9780387528854

Edit� par Springer Verlag, 1990

Neuf(s) Couverture souple

Vendeur Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis �valuation du vendeur 5 sur 5 �toiles

Vendeur AbeBooks depuis 17 avril 2013

Cet article sp�cifique n'est plus disponible.

Afficher tous les articles du vendeur Cr�er une demande de livres portant sur des articles similaires

Afficher tous les exemplaires de ce livre

A propos de cet article

This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. N� de r�f. du vendeur ABBB-108406

Signaler cet article

D�tails bibliographiques

Titre : Tenth International Conference on Automated ...
�diteur : Springer Verlag
Date d'�dition : 1990
Reliure : Couverture souple
Etat : New

Meilleurs r�sultats de recherche sur AbeBooks

Image d'archives

10th International Conference on Automated Deduction: Kaiserslautern, Frg, July 24-27, 1990 Proceedings (Lecture Notes in Computer Science 449)

M. E. Stickel

Edit� par Springer, 1990

ISBN 10 : 0387528857 ISBN 13 : 9780387528854

Ancien ou d'occasion Couverture souple

Vendeur : Zubal-Books, Since 1961, Cleveland, OH, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : Good. 688 pp., Paperback, ex library, some wear to cover, else textually clean and tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. N� de r�f. du vendeur ZB712236

Contacter le vendeur

Acheter D'occasion

EUR 36,17

Exp�dition �EUR 3,83
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

10th International Conference on Automated Deduction: Kaiserslautern, Frg, July 24-27, 1990 Proceedings (Lecture Notes in Computer Science)

Edit� par Springer-Verlag, 1990

ISBN 10 : 0387528857 ISBN 13 : 9780387528854

Ancien ou d'occasion Taschenbuch

Vendeur : NEPO UG, R�sselsheim am Main, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Gut. 688 Seiten Sofort verf�gbar Versand sofort nach durchgef�hrter Zahlungsverifikation Rechnung mit ausgewiesener MwSt. liegt bei daily shipping worldwide with invoice ex library in good condition aus Bibliothek in guten Zustand Sprache: Englisch Gewicht in Gramm: 550. N� de r�f. du vendeur 181765

Contacter le vendeur