Computabilità : lambda-definibilità, ricorsività, indecidibilità / Luca Bellotti, Enrico Moriconi, Laura Tesconi
Roma : Carocci, 2001
273 p. ; 22 cm.
Università ; 326
8843019589
BN 2002-12801
Università. Vol. 326


Libro. | Lingua: Italiano. | Paese: Italia. | BID: TSA0325226
Biblioteca Inventario Volume Collocazione Fruizione status
Biblioteca Nazionale Centrale - Firenze 005562283 1 v. GEN B 15 07640 Mon. moderna prestabile