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

10th International Conference on automated deduction. Kaiserslautern, FRG, July 1990 : proceedings /

Normal View ISBD View
Authors: Stickel, Mark E. Series: Lecture notes in artificial intelligence ; . 449 Published by : Springer-Verlag, (Berlin : ) Physical details: XVI, 688 p. ; 24 cm. Subject(s): Automatic theorem proving--Congresses | Logic, Symbolic and mathematical- Congresses Year : 1990
No tags for this title. Log in to add tags.
Item type Location Call Number Copy Status Date Due
Books Istituto di Ingegneria Biomedica -LNAI449 (Browse Shelf) 1 Available

There are no comments for this item.

Log in to your account to post a comment.
Important links here.