Tenth International Conference on Automated Deduction - Proceedings Kaiserslautern, FRG, July 24-27, 1990
Stickel,Siekmann,
ISBN 10: 0387528857 ISBN 13: 9780387528854
Editorial: Springer Verlag, 1990
Nuevos
Encuadernación de tapa blanda
Librería:
Basi6 International, Irving, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Vendedor de AbeBooks desde 24 de junio de 2016
Este artículo en concreto ya no está disponible.
Descripción
Descripción:
New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de ref. del artículo ABEOCT25-83443
Detalles bibliográficos
Título: Tenth International Conference on Automated ...
Editorial: Springer Verlag
Año de publicación: 1990
Encuadernación: Encuadernación de tapa blanda
Condición: Brand New