Home
Esportazione
Statistica
Opzioni
Visualizza tutti i metadati (visione tecnica)
Layered map reasoning: An experimental approach put to trial on sets
Formisano A.
•
Omodeo E. G.
•
Temperini M.
2001
journal article
Periodico
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
DOI
10.1016/S1571-0661(04)00147-1
Archivio
http://hdl.handle.net/11390/1193577
info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-0012773467
Diritti
open access
Soggetti
Algebraic logic
First-order
Relation algebra
Set Theory
Theorem-proving
Scopus© citazioni
13
Data di acquisizione
Jun 7, 2022
Vedi dettagli
Visualizzazioni
3
Data di acquisizione
Apr 19, 2024
Vedi dettagli
google-scholar
Vedi dettagli