Home
Esportazione
Statistica
Opzioni
Visualizza tutti i metadati (visione tecnica)
Adding two equivalence relations to the interval temporal logic AB
MONTANARI, Angelo
•
PAZZAGLIA, Marco
•
Sala P.
2014
conference object
Archivio
http://hdl.handle.net/11390/1036959
info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84908505472
Diritti
closed access
Soggetti
interval temporal log...
satisfiability checki...
equivalence relation
google-scholar
Vedi dettagli