RicercaInizia una nuova ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.173 secondi).
CondLean
2007-01-01 N. Olivetti; G.L. Pozzato
CSL-lean
2009-01-01 R. Alenda; N. Olivetti; G.L. Pozzato
FreeP
2007-01-01 L. Giordano; V. Gliozzi; N. Olivetti; G.L. Pozzato
GoalDuck
2008-01-01 Nicola Olivetti; Gian Luca Pozzato
KLMLean
2007-01-01 L. Giordano; V. Gliozzi; G.L. Pozzato
NESCOND
2014-01-01 Nicola Olivetti; Gian Luca Pozzato
PreDeLo 1.0
2013-01-01 Laura Giordano; Valentina Gliozzi; Adam Jalal; Nicola Olivetti; Gian Luca Pozzato
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
CondLean | 2007 | N. Olivetti; G.L. Pozzato | |
CSL-lean | 2009 | R. Alenda; N. Olivetti; G.L. Pozzato | |
FreeP | 2007 | L. Giordano; V. Gliozzi; N. Olivetti; G.L. Pozzato | |
GoalDuck | 2008 | Nicola Olivetti; Gian Luca Pozzato | |
KLMLean | 2007 | L. Giordano; V. Gliozzi; G.L. Pozzato | |
NESCOND | 2014 | Nicola Olivetti; Gian Luca Pozzato | |
PreDeLo 1.0 | 2013 | Laura Giordano; Valentina Gliozzi; Adam Jalal; Nicola Olivetti; Gian Luca Pozzato |
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.173 secondi).
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile
Opzioni
Scopri
Tipologia
- 07-ALTRO PRODOTTO SCIENTIFICO 7
- 07-ALTRO PRODOTTO SCIENTIFICO::07... 7
Data di pubblicazione
- 2014 1
- 2013 1
- 2009 1
- 2008 1
- 2007 3
Editore
- Dipartimento di Informatica - Uni... 7
Keyword
- conditional logics 2
- Nonmonotonic reasoning 2
- sequent calculi 2
- theorem proving 2
- Description Logics 1
- goal-directed proof methods 1
- nested sequent calculi 1
- Tableaux Calculi 1
Lingua
- eng 7
Accesso al fulltext
- no fulltext 7