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

Automated deduction in multiple-valued logics /

by Hahnle, Reiner
Normal View ISBD View
Series: The international series of monographs on computer science ; . 10 Published by : Clarendon Press, (Oxford : ) Physical details: IX, 172 p. : ill. ; 24 cm. Subject(s): Automatic theorem proving | Logic, Symbolic and mathematical Year : 1993
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.A96H34 (Browse Shelf) 1 Available

There are no comments for this item.

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