UniCat-Search

Union Catalogue of Belgian Libraries

English | Nederlands | Français

Feedback

About UniCat

Help

News

Narrow your search

Library

KU Leuven (802)

ULiège (745)

ULB (735)

Thomas More Mechelen (711)

VIVES (711)

Odisee (710)

Thomas More Kempen (710)

UCLL (709)

UGent (274)

UCLouvain (135)
More...

Resource type

book (882)

periodical (16)

digital (2)

Language

English (857)

French (16)

German (16)

Undetermined (3)

Dutch (1)
More...

Year

From To

2023 (16)

2022 (4)

2021 (21)

2020 (22)

2019 (43)
More...

Listing 1 - 10 of 895 << page
of 90
>>
Sort by

Book

Recursive function theory
Authors: Dekker, Jacob C. E. --- Symposium in pure mathematics (05th : 1961 : New York (N.Y.)
Year: 1962 Publisher: Providence (R.I): American mathematical society,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Recursive Functions --- Recursive functions

Book

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

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Recursive Functions

Book

ALGORITHMIQUE
Authors: Kuntzmann, Jean --- Université de Grenoble
Year: 1960 Publisher: Grenoble: [éditeur inconnu],

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Recursive Functions

Book

Fonctions récursives
Authors: Grzegorczyk, Andrzej --- Fevrier, P.
Year: 1961 Publisher: Paris: Gauthier-Villars,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Recursive Functions

Book

ON THE REPRESENTATION OF RECURSIVE FUNCTIONS
Authors: Markov, Jr --- American mathematical society
Year: 1951 Publisher: Providence: [éditeur inconnu],

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Recursive Functions

Book

Aritmetica pitagorica y el triangulo de pascal
Author: San Martin, Ernesto G.
ISBN: 9561423537 9789561423534 Year: 2018 Publisher: [Place of publication not identified] EDICIONES UC

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Recursive functions.

Book

Theory of formal systems
Author: Smullyan, Raymond Merrill
Year: 1961 Publisher: Princeton, N.J.: Princeton university press,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Recursive Functions --- Incompleteness

Book

Introduction To Combinators and Lambda-Calculus
Authors: Hindley, James Roger --- Seldin, Jonathan Paul --- Prof. E.B. Davies
Year: 1986 Publisher: [Lieu de publication inconnu]: Cambridge university press,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Logic --- Recursive Functions

Book

Introduction to mathematical logic
Author: Mendelson, Elliott
Year: 1968 Publisher: Princeton, N.J.: Van Nostrand,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Computability --- Recursive Functions

Book

Les fonctions combinatoires et les isols
Author: Dekker, Jacob C. E.
Year: 1966 Publisher: Paris : Gauthier-Villars,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Set theory. --- Recursive functions.

Listing 1 - 10 of 895 << page
of 90
>>
Sort by