Home
Esportazione
Statistica
Opzioni
Visualizza tutti i metadati (visione tecnica)
Using AEtnaNova to formally prove that the Davis-Putnam satisfiability test is correct
OMODEO, EUGENIO
•
ALEXANDRU I. TOMESCU
2008
journal article
Periodico
LE MATEMATICHE
Archivio
http://hdl.handle.net/11368/1862955
Diritti
metadata only access
google-scholar
Vedi dettagli