Vai al contenuto principale della pagina
Autore: | HERMES, Hans |
Titolo: | Enumerabilita, decidibilita, computabilita : introduzione alla teoria delle funzioni ricorsive / Hans Hermes |
Pubblicazione: | Torino : Boringhieri, 1975 |
Descrizione fisica: | 318 p. ; 24 cm |
Persona (resp. second.): | BALLO, Edoardo |
Note generali: | Trad. dall'inglese (tit.: Enumerability, decidability, computabil ity) di E. Ballo |
Titolo autorizzato: | Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit |
Formato: | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Italiano |
Record Nr.: | 990001660800203316 |
Lo trovi qui: | Univ. di Salerno |
Collocazione: | II.6. Coll.2/ 4(IV C coll. 211/5) |
Opac: | Controlla la disponibilità qui |
Biblioteca: | Univ. di Salerno |
Opac: | Controlla la disponibilità qui |