The Linked Conjunct method for automatic deduction and related search techniques

OMODEO, EUGENIO

1982

journal article

Periodico

COMPUTERS & MATHEMATICS WITH APPLICATIONS

Archivio

http://hdl.handle.net/11368/1703788

info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-49049141513

Diritti

metadata only access

Visualizzazioni

4

Data di acquisizione
Apr 19, 2024