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

Automated reasoning : essays in honor of Woody Bledsoe /

Normal View ISBD View
Authors: Boyer, Roberts S. | Bledsoe, Woody Series: Automated reasoning series Published by : Kluwer Academic Publishers, (Dordrecht : ) Physical details: XI, 365 p. ; 25 cm. Subject(s): Automatic theorem proving | Artificial intelligence Year : 1991
No tags for this title. Log in to add tags.
Item type Location Call Number Copy Status Date Due
Books Istituto di Ingegneria Biomedica QA76.9.A96A92 (Browse Shelf) 1 Available

There are no comments for this item.

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