Memorizza il record
Hermes, Hans
Enumerabilita, decidibilita, computabilita : introduzione alla teoria delle funzioni ricorsive / Hans Hermes. - Torino : Boringhieri, 1975. - 318 p. ; 21 cm. - (Testi e manuali della scienza contemporanea. Serie di logica matematica)
Trad. dall'inglese (tit.: Enumerability, decidability, computabil ity) di E. Ballo.. - Trad di: Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit.. - N. Bibliografia nazionale 773673
Titolo uniforme:
Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit
Altri autori: Ballo, EdoardoCollana: Testi e manuali della scienza contemporanea. Serie di logica matematicaSoggetti: AlgoritmiClassificazione: 511.8 [CDD] |
511.8 [D] [D]
|
Biblioteca |
Codice |
Collocazione |
Inventario |
Prestito |
Disponibilità |
|
|
|
Biblioteca comunale Lazzerini
|
RT10DA |
PD 22645 |
065693 |
Ammesso |
Materiale in biblioteca |
|
|
Tipo: 102 - Monografia moderna
| Lingua: ITA
| Paese: IT
| Data di pubblicazione o produzione: 1975
| Gestione database: R5
| Codice: SBL0591119
| MFN: 0273161