Tableaux and automated theorem proving / Cellucci, Carlo. - In: EPISTEMOLOGIA. - ISSN 0392-9760. - 16:(1993), pp. 49-66.
File allegati a questo prodotto
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.