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

Automated theorem proving : a logical basis /

by Loveland, Donald W.
Normal View ISBD View
Series: Fundamental studies in computer science ; . 6 Published by : North-Holland, (Amsterdam : ) Physical details: XII, 405 p. : ill. ; 23 cm. Subject(s): Automatic theorem proving Year : 1978
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.A96L68 (Browse Shelf) 1 Available

There are no comments for this item.

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