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 - 2 di 2 (tempo di esecuzione: 0.001 secondi).
Titolo | Data di pubblicazione | Autori | Tipo | File | Abstract |
---|---|---|---|---|---|
A reduction scema by pre-institution transformations | 1-gen-1993 | SALIBRA, Antonino + | 2.5 Abstract in Rivista | - | |
Introducing equational type logic | 1-gen-1991 | SALIBRA, Antonino + | 2.5 Abstract in Rivista | - |
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.001 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
- 2 Contributo su rivista 2
- 2 Contributo su rivista ::2.5 Abs... 2
Data di pubblicazione
- 1993 1
- 1991 1
Editore
- Association for Symbolic Logic:De... 2
Rivista
- THE JOURNAL OF SYMBOLIC LOGIC 2
Lingua
- eng 2
Accesso al fulltext
- no fulltext 2