GUCCIONE, SALVATORE
GUCCIONE, SALVATORE
DIPARTIMENTO DI SCIENZE FISICHE (attivo dal 01/01/1988 al 31/12/2012)
Mostra
records
Risultati 1 - 9 di 9 (tempo di esecuzione: 0.02 secondi).
Il mentitore al Test di Turing
1998 Guccione, Salvatore; Tortora, Roberto
In the labyrinth of many-valued logics
1983 Guccione, Salvatore; S., Termini; Tortora, Roberto
Levels
1995 Guccione, Salvatore
Deduction Theorems in Lukasiewicz propositional calculi
1981 Guccione, Salvatore; Tortora, Roberto; Vaccaro, Virginia
A general deduction theorem
1980 Guccione, Salvatore; Tortora, Roberto
Mind the truth: Penrose's new step in the Goedelian argument
1993 Guccione, Salvatore
On physical laws and computabilityn
1998 Guccione, Salvatore; Tamburrini, Guglielmo; Settimo, Termini
Deducibility in many-valued logics
1982 Guccione, Salvatore; Tortora, Roberto
Can a on computable physical law be considered able to predict?
2000 Guccione, Salvatore
Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
---|---|---|---|---|
Il mentitore al Test di Turing | 1.1 Articolo in rivista | 1998 | Guccione, Salvatore; Tortora, Roberto | |
In the labyrinth of many-valued logics | 4.1 Articoli in Atti di convegno | 1983 | Guccione, Salvatore; S., Termini; Tortora, Roberto | |
Levels | 2.1 Contributo in volume (Capitolo o Saggio) | 1995 | Guccione, Salvatore | |
Deduction Theorems in Lukasiewicz propositional calculi | 1.1 Articolo in rivista | 1981 | Guccione, Salvatore; Tortora, Roberto; Vaccaro, Virginia | |
A general deduction theorem | 1.1 Articolo in rivista | 1980 | Guccione, Salvatore; Tortora, Roberto | |
Mind the truth: Penrose's new step in the Goedelian argument | 1.1 Articolo in rivista | 1993 | Guccione, Salvatore | |
On physical laws and computabilityn | 1.1 Articolo in rivista | 1998 | Guccione, Salvatore; Tamburrini, Guglielmo; Settimo, Termini | |
Deducibility in many-valued logics | 4.1 Articoli in Atti di convegno | 1982 | Guccione, Salvatore; Tortora, Roberto | |
Can a on computable physical law be considered able to predict? | 2.1 Contributo in volume (Capitolo o Saggio) | 2000 | Guccione, Salvatore |