Narrow your search
Listing 1 - 10 of 317 << page
of 32
>>
Sort by

Book
Theory of recursive functions and effective computability
Author:
Year: 1967 Publisher: New York : McGraw-Hill,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Enumerability, decidability, computability : an introduction to the theory of recursive functions
Authors: --- ---
Year: 1965 Volume: 127 Publisher: Berlin : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Rekursive Folgen
Authors: ---
Year: 1968 Publisher: Berlin : Deutscher Verlag der Wissenschaften,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Recursive function theory
Author:
Year: 1962 Volume: 5 Publisher: Providence (R.I) : American mathematical society,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Formalized recursive functionals and formalized realizability
Author:
ISBN: 0821812890 Year: 1969 Publisher: Providence, Rhode Island : American Mathematical Society,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Les fonctions combinatoires et les isols
Author:
Year: 1966 Publisher: Paris : Gauthier-Villars,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
The foundations of intuitionistic mathematics : especially in relation to recursive functions
Authors: ---
Year: 1965 Publisher: Amsterdam : North-Holland,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Theory of formal systems.
Author:
Year: 1961 Publisher: Princeton (N.J.) : Princeton university press,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Algorithmen und rekursive Funktionen.
Author:
ISBN: 3528083271 Year: 1974 Publisher: Braunschweig : Vieweg,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Algorithms and recursive functions
Authors: --- --- --- ---
ISBN: 9001570704 Year: 1970 Publisher: Groningen : Wolters-Noordhoff,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Listing 1 - 10 of 317 << page
of 32
>>
Sort by