1. 6th Conference on Automated Deduction New York USA June 7 9 1982. Lecture Notes in Computer Science Na 138
by LOVELAND DW. Edited AAVV.: D. W. A. VV 
Price: USD 8.75
Dealer: Biblio, Librería La Candela
Description: .- Berlín Heidelberg New York. 1982. Springer - Verlag. 4º menor. VII- 389 pgs. Rústica editorial . Muy buen estado. . . ISBN 10: 3540115587. Informática ISBN 3540115587 9783540115588 [ES]