| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA990009777520403321 |
|
|
Autore |
Rossi, Aldo Loris <1933- > |
|
|
Titolo |
L'utopia realizzabile : sette tesi su Napoli / Aldo Loris Rossi |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
[S.l., : s.n.] ( (Salerno) : Arti grafiche Boccia, 1987 |
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
|
|
Collocazione |
|
FONDO ROSSI 2725 |
09.057 |
09.425 |
SEZ.NA M 324 |
C 6 CAN |
C 294 CAN |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Estratto da: La provincia di Napoli, n. 1/2, 1987 |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISALENTO991000772859707536 |
|
|
Autore |
Davis, Martin |
|
|
Titolo |
Computability & unsolvability / Martin Davis |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
New York : McGraw-Hill, 1958 |
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
McGraw-Hill series in information processing and computers |
|
|
|
|
|
|
Classificazione |
|
AMS 03D10 |
AMS 03D20 |
AMS 68Q05 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Models of computation |
Recursive functions |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
| |