Herbrand-Satisfiability of a Quantified Set-theoretical Fragment
CANTONE, Domenico;NICOLOSI ASMUNDO, MARIANNA
2014-01-01
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
CILC2014B.pdf
solo gestori archivio
Dimensione
8.44 MB
Formato
Adobe PDF
|
8.44 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.