Home
Esportazione
Statistica
Opzioni
Visualizza tutti i metadati (visione tecnica)
Supporting automated deduction in first-order modal logics
MONTANARI, Angelo
•
POLICRITI, Alberto
•
SLANINA M.
2000
conference object
Archivio
http://hdl.handle.net/11390/738672
Diritti
closed access
Visualizzazioni
5
Data di acquisizione
Apr 19, 2024
Vedi dettagli
google-scholar
Vedi dettagli