Includi: nessuno dei seguenti filtri
× Soggetto Calcolo numerico
Includi: tutti i seguenti filtri
× Data 1975
× Soggetto Algoritmi

Trovati 1 documenti.

Enumerabilità, decidibilità, computabilità
0 0
Libri Moderni

Hermes, Hans

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

Torino : Boringhieri, 1975

Testi e manuali della scienza contemporanea. Serie di logica matematica