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

ISBD

Normal View ISBD View
6th conference of automated deduction, New York, USA, June 7-9, 1982 / edited by D. W. Loveland - Berlin : Springer-Verlag, 1982 - VII, 389 p. ; 24 cm. - Lecture notes in computer science ; 138 .

3540115587

There are no comments for this item.

Log in to your account to post a comment.

Important links here.