Includi: nessuno dei seguenti filtri
× Soggetto ELABORATORI ELETTRONICI - Linguaggio JavaScript
Includi: tutti i seguenti filtri
× Nomi Hermes, Hans
× 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