The Linked Conjunct method for automatic deduction and related search techniques / Omodeo, Eugenio. - In: COMPUTERS & MATHEMATICS WITH APPLICATIONS. - ISSN 0097-4943. - 8:(1982), pp. 185-203.
The Linked Conjunct method for automatic deduction and related search techniques
OMODEO, EUGENIO
1982-01-01
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.


