Enumerabilità, decidibilità, computabilità : introduzione alla teoria delle funzioni ricorsive

Altri autori:

Ballo, Edoardo [Traduttore] | da Wikipedia

Aggiungi a "I tuoi preferiti" » | Condividi: Facebook Twitter Linkedin Delicious

Descrizione bibliografica

Enumerabilità, decidibilità, computabilità : introduzione alla teoria delle funzioni ricorsive / Hans Hermes. - Torino : Boringhieri, 1975. - 318 p. ; 21 cm. ((Trad. dall'inglese "Enumerability, decidability, computability" di Edoardo Ballo.

Legami con altri titoliinfo

Appartiene a...

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit | titolo di raggruppamento controllato (IEI0056212)

Altre informazioniinfo

Livello bibliografico e tipo di documento

monografia | Testo

BID: SBL0591119 BNI773673

Pubblicazione

Lingua: ITALIANO

Paese: ITALIA

Anno: 1975

Editore: Boringhieri

Collana: Testi e manuali della scienza contemporanea. Serie di logica matematica;

Classificazione

Soggetto

Algoritmi

Classe

511.8 MODELLI MATEMATICI (SIMULAZIONE MATEMATICA)

Dove lo trovi

CIVICA CENTRALE DI TORINO (BCT)45.0748947.673403 Dettaglio
CIVICA DI VERCELLI (TO0)45.32388498.4246265 info

Collocazione: 14.G.185 Disponibile

Inventario: 64297

Precisazione inventario: 1 v.

Fruibilità: Nessun vincolo al prestito

Consistenza: 1 v.

Librinlinea