Choose an application

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

Computer science --- Recursive functions. --- Turing machines. --- Computable functions. --- Fonctions récursives --- Fonctions calculables --- Recursive Functions --- Turing machines --- Computable functions --- 510.5 --- Recursive functions --- #WWIS:ALTO --- Machine theory --- Functions, Recursive --- Algorithms --- Arithmetic --- Logic, Symbolic and mathematical --- Number theory --- Recursion theory --- Decidability (Mathematical logic) --- Computability theory --- Functions, Computable --- Partial recursive functions --- Recursive functions, Partial --- Constructive mathematics --- Algorithms. Computable functions --- Foundations --- 510.5 Algorithms. Computable functions --- Machines de Turing --- Fonctions récursives

Choose an application

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

510.5 --- 519.68 --- Computer programming --- Electronic digital computers --- -#TELE:SISTA --- 681.3*A1 --- algoritmen --- 681.3*F22 --- programmeren --- 681.3*G --- Computers --- Electronic computer programming --- Electronic data processing --- Programming (Electronic computers) --- Coding theory --- Automatic digital computers --- Computers, Electronic digital --- Digital computers, Electronic --- Hybrid computers --- Sequential machine theory --- 681.3*G Mathematics of computing --- Mathematics of computing --- 681.3*A1 Introductory and survey --- Introductory and survey --- 519.68 Computer programming --- 510.5 Algorithms. Computable functions --- Algorithms. Computable functions --- 681.3*F22 Nonnumerical algorithms and problems: complexity of proof procedures; computations on discrete structures; geometrical problems and computations; pattern matching --See also {?681.3*E2-5}; {681.3*G2}; {?681.3*H2-3} --- Nonnumerical algorithms and problems: complexity of proof procedures; computations on discrete structures; geometrical problems and computations; pattern matching --See also {?681.3*E2-5}; {681.3*G2}; {?681.3*H2-3} --- Programming --- informatique --- informatica --- 681.3*A --- 681.3*D1 --- 681.3*E --- 681.3*E Data --- Data --- 681.3*A General literature --- General literature --- 681.3*D1 Programming techniques--See also {681.3*E} --- Programming techniques--See also {681.3*E} --- Computer algorithms. --- Computer algorithms --- Computer programming. --- Algoritmen. --- Programmeren. --- Computer science --- Programmation des ordinateurs --- Algorithms --- Algorithmes --- Informatique --- Algorithmes. --- Informatique. --- Electronic digital computers - Programming --- -Programming