In questo volume sono trattate, in modo introduttivo ma dettagliato, le nozioni logico-matematiche di lambda-definibilità, computabilità e decidibilità.
Computabilità
BELLOTTI, LUCA;MORICONI, ENRICO;
2001-01-01
Abstract
In questo volume sono trattate, in modo introduttivo ma dettagliato, le nozioni logico-matematiche di lambda-definibilità, computabilità e decidibilità.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.