LECTURE NOTES IN COMPUTER SCIENCE. 7TH INTERNATIONAL CONFERENCE ON AUTOMATED DECUTION.
Vv.Aa.
Referencia: 800093617
Springer-Verlag. London, 1984 23,5 x 15 cm., 510 pag. Tapa blanda; buen estado de conservacion. MATEMATICAS . Ejemplares disponibles: 1

