| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996451649603316 |
|
|
Autore |
RIGO, Michel |
|
|
Titolo |
2.:Applications to Recognizability and Decidability / Michel Rigo |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
London, : ISTE |
|
Hoboken, : Wiley, 2014 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
Testo elettronico (PDF) (XIX, 245 p.) |
|
|
|
|
|
|
Collana |
|
Networks and Telecommunications Series |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer programming |
Formal languages |
Machine theory |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Risorsa elettronica |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Sommario/riassunto |
|
L' interazione tra parole, computabilità, algebra e aritmetica ha ora dimostrato la sua rilevanza e fecondità. In effetti, l'incrocio tra logica formale e automi finiti (come quello avviato da JR Büchi) o tra combinatoria sulle parole e teoria dei numeri ha aperto la strada a recenti drammatici sviluppi, ad esempio, la trascendenza risulta per i numeri reali aventi un espansione binaria "semplice", di B. Adamczewski e Y. Bugeaud. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISANNIORML0052172 |
|
|
Autore |
Cole, John P. <1928-2020> |
|
|
Titolo |
Geografia della Comunità europea / John Cole, Francis Cole |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Milano, : F. Angeli, 1995 |
|
|
|
|
|
|
|
Titolo uniforme |
The geography of the European community |
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
327.1 |
330.940559 |
341.2422 |
|
|
|
|
|
|
|
|
Soggetti |
|
Paesi della Comunità europea - Geografia economica |
|
|
|
|
|
|
Collocazione |
|
LT (AR) 20 B 13001LT (AR) 22 B 15701LT (AR) 22 B 15501POZZO LIB.ECON MON 350501POZZO LIB.ECON MON 350501POZZO LIB.ECON MON 3505 |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Trad. di Romano Gasperoni. |
|
|
|
|
|
| |