Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computable functions. --- Computer science --- Mathematics --- Computability theory --- Functions, Computable --- Partial recursive functions --- Recursive functions, Partial --- Constructive mathematics --- Decidability (Mathematical logic) --- Funcions computables --- Informàtica --- Enginyeria --- Càlcul intensiu (Informàtica) --- Disseny de sistemes --- Història de la informàtica --- Geometria computacional --- Informàtica tova --- Processament de dades --- Programació (Ordinadors) --- Sistemes informàtics --- Teledocumentació --- Tractament del llenguatge natural (Informàtica) --- Automatització d'arxius --- Automatització de biblioteques --- Automatització de museus --- Indústria informàtica --- Teoria de la informació --- Funcions calculables --- Funcions recursives parcials --- Teoria de la computabilitat --- Matemàtica constructiva --- Decidibilitat (Lògica matemàtica) --- Informàtica.