6th Conference on Automated Deduction, New York, USA, June 7-9, 1982. Lecture Notes in Computer Science N∫ 138
| Precio: | 5 € | comprar |
| Autor: | LOVELAND, D.W. (Edited) - AA.VV. | |
| Descripción: | VII- 389 pgs 1982 Springer - Verlag Berlín Heidelberg New York 4º menor Rústica editorial | |
| Colección: | ||
| Descripción propia: | Muy buen estado | |
| Referencia: | *W107531 | |
| ISBN 10: | 3540115587 | |
| ISBN 13: | ||