Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Intelligenza meccanica / Alan M. Turing ; a cura di Gabriele Lolli
| Intelligenza meccanica / Alan M. Turing ; a cura di Gabriele Lolli |
| Autore | TURING, Alan M. |
| Edizione | [Torino : Bollati Boringhieri] |
| Descrizione fisica | Tit. orig.: Collected works of A.M. Turing: Mechanical Intelligence. |
| Disciplina | 006.3(INTELLIGENZA ARTIFICIALE) |
| Soggetto topico | INTELLIGENZA ARTIFICIALE - Studi |
| ISBN | 88-339-0880-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNIOR-UON00253717 |
TURING, Alan M.
|
||
| Materiale a stampa | ||
| Lo trovi qui: Univ. L'Orientale | ||
| ||
Introduzione alla logica formale / Gabriele Lolli
| Introduzione alla logica formale / Gabriele Lolli |
| Autore | LOLLI, Gabriele |
| Pubbl/distr/stampa | Bologna, : Il Mulino, copyr. 1991 |
| Descrizione fisica | 333 p. : ill. ; 24 cm |
| Disciplina | 511.3 |
| Soggetto non controllato | Logica matematica |
| ISBN | 88-15-02958-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISA-990000255490203316 |
|
LOLLI, Gabriele
|
||
| Bologna, : Il Mulino, copyr. 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Introduzione alla logica formale / Gabriele Lolli
| Introduzione alla logica formale / Gabriele Lolli |
| Autore | LOLLI, Gabriele |
| Pubbl/distr/stampa | Bologna, : Il Mulino, c1991 |
| Descrizione fisica | 333 p. ; 24 cm |
| Disciplina | 160(Logica) |
| Soggetto topico | LOGICA |
| ISBN | 88-15-02958-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNIOR-UON00262038 |
|
LOLLI, Gabriele
|
||
| Bologna, : Il Mulino, c1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. L'Orientale | ||
| ||
L'arte di pensare : matematica e filosofia / Gabriele Lolli, Francesco Saverio Tortoriello
| L'arte di pensare : matematica e filosofia / Gabriele Lolli, Francesco Saverio Tortoriello |
| Autore | LOLLI, Gabriele |
| Pubbl/distr/stampa | Novara, : UTET università, 2020 |
| Descrizione fisica | ; 23 cm XVI, 177 p. |
| Disciplina | 510.1 |
| Altri autori (Persone) | TORTORIELLO, Francesco Saverio |
| Soggetto topico | Matematica - Filosofia |
| ISBN | 978-88-6008-600-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISA-996539265603316 |
|
LOLLI, Gabriele
|
||
| Novara, : UTET università, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
La macchina e le dimostrazioni : matematica, logica e informatica / Gabriele Lolli
| La macchina e le dimostrazioni : matematica, logica e informatica / Gabriele Lolli |
| Autore | LOLLI, Gabriele |
| Pubbl/distr/stampa | Bologna, : Il Mulino, 1987 |
| Descrizione fisica | 155 p. ; 21 cm. |
| Disciplina | 511.3 |
| Collana | Saggi |
| Soggetto topico |
Logica matematica
Informatica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISA-990005593260203316 |
|
LOLLI, Gabriele
|
||
| Bologna, : Il Mulino, 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
La complessita di Gödel / Cristian Calude ... [et al.] ; a cura di Gabriele Lolli e Ugo Pagallo
| La complessita di Gödel / Cristian Calude ... [et al.] ; a cura di Gabriele Lolli e Ugo Pagallo |
| Pubbl/distr/stampa | Torino : G. Giappichelli, copyr. 2008 |
| Descrizione fisica | VI, 169 p. ; 21 cm |
| Disciplina | 511.3092 |
| Collana | Digitalica |
| Soggetto (Persona) | Gödel, Kurt |
| ISBN | 978-88-348-8271-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISA-990003232740203316 |
| Torino : G. Giappichelli, copyr. 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
La crisalide e la farfalla : donne e matematica / Gabriele Lolli
| La crisalide e la farfalla : donne e matematica / Gabriele Lolli |
| Autore | LOLLI, Gabriele |
| Pubbl/distr/stampa | Torino : Bollati Boringhieri, 2000 |
| Descrizione fisica | 126 p. ; 21 cm |
| Disciplina | 510.1 |
| Collana | Variantine |
| Soggetto topico | Donne - Rapporti con la matematica |
| ISBN | 88-339-1279-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISA-990000292600203316 |
|
LOLLI, Gabriele
|
||
| Torino : Bollati Boringhieri, 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
La guerra dei trent'anni (1900-1930) : da Hilbert a Gödel / Gabriele Lolli
| La guerra dei trent'anni (1900-1930) : da Hilbert a Gödel / Gabriele Lolli |
| Autore | LOLLI, Gabriele |
| Pubbl/distr/stampa | Pisa : ETS, 2011 |
| Descrizione fisica | VII, 223 p. ; 25 cm |
| Disciplina | 511.3 |
| Collana | Analitica |
| Soggetto topico |
Logica matematica - Teorie - 1900-1930
Teorema di incompletezza di Gödel |
| ISBN | 978-884672789-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISA-990003644730203316 |
|
LOLLI, Gabriele
|
||
| Pisa : ETS, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
La macchina e dimostrazioni : matematica, logica e informatica / Gabriele Lolli - Bologna : Il Mulino, 1987 - 155 p. ; 22 cm.
| La macchina e dimostrazioni : matematica, logica e informatica / Gabriele Lolli - Bologna : Il Mulino, 1987 - 155 p. ; 22 cm. |
| Autore | LOLLI, Gabriele |
| Disciplina | 511.3(Principi generali. Logica matematica(Logica simbolica)) |
| Soggetto topico |
LOGICA MATEMATICA
CALCOLO |
| ISBN | 88-15-01256-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNIOR-UON00381211 |
|
LOLLI, Gabriele
|
||
| Materiale a stampa | ||
| Lo trovi qui: Univ. L'Orientale | ||
| ||
La teoria degli insiemi e l'ipotesi del continuo : Appendice all'edizione italiana di Gabriele Lolli / P.J. Cohen ; Trad. dall'inglese di Gabriele Lolli
| La teoria degli insiemi e l'ipotesi del continuo : Appendice all'edizione italiana di Gabriele Lolli / P.J. Cohen ; Trad. dall'inglese di Gabriele Lolli |
| Autore | COHEN, P.J. |
| Pubbl/distr/stampa | Milano : Feltrinelli, 1973 |
| Descrizione fisica | 199 p. ; 22 cm |
| Collana | Collana di Matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISA-990001463950203316 |
|
COHEN, P.J.
|
||
| Milano : Feltrinelli, 1973 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
