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.
Complessita di calcolo delle funzioni / Giorgio Ausiello
| Complessita di calcolo delle funzioni / Giorgio Ausiello |
| Autore | Ausiello, Giorgio |
| Pubbl/distr/stampa | Torino, : Boringhieri, 1975 |
| Descrizione fisica | 240 p. ; 21 cm. |
| Disciplina |
511.3
511.352 |
| Collana | Testi e manuali della scienza contemporanea, . Serie di informatica |
| Soggetto topico |
Funzioni ricorsive
Complessità computazionale |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISANNIO-LO10009686 |
Ausiello, Giorgio
|
||
| Torino, : Boringhieri, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Enumerabilità, decidibilità, computabilità : introduzione alla teoria delle decisioni ricorsive / Hans Hermes ; [trad. di Edoardo Ballo]
| Enumerabilità, decidibilità, computabilità : introduzione alla teoria delle decisioni ricorsive / Hans Hermes ; [trad. di Edoardo Ballo] |
| Autore | HERMES, Hans |
| Pubbl/distr/stampa | Torino, : Boringhieri, 1975 |
| Descrizione fisica | 318 p. ; 21 cm |
| Disciplina | 511.35 |
| Collana | Testi e manuali della scienza contemporanea. Serie di logica matematica |
| Soggetto topico | Funzioni ricorsive |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISA-990005603580203316 |
|
HERMES, Hans
|
||
| Torino, : Boringhieri, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
