Area della Ricerca di Padova
Corso Stati Uniti,4 35127 Padova (ITALY) - Tel.+39 049 8295611 - Fax.+39 049 8295671

6th conference of automated deduction, New York, USA, June 7-9, 1982 /

Normal View ISBD View
Authors: Loveland, D. W. Series: Lecture notes in computer science ; . 138 Published by : Springer-Verlag, (Berlin : ) Physical details: VII, 389 p. ; 24 cm. Year : 1982
No tags for this title. Log in to add tags.
Important links here.