m

F Nous contacter

0
     
Ouvrage

H 0 Enumerability decidability computability :
and introduction to the theory of recursive functions

Hermes, Hans (Principal) ; Hermann, G. T. (Traducteur) ; Plassmann, O. (Traducteur)

Springer-Verlag

1969

245 p.

00001669

03D10 ; 03Dxx ; 68Q05

calcul # fonction recursive # machine de Turing # prédicat d'indécidabilité # variété

Ville d'édition : Berlin ; Heidelberg ; N.Y.

Pays d'édition : Allemagne RFA

Langue : Anglais

N° édition : 2nd ed. r

Collation : 24 cm#rel. ; Bibliogr. ; Index

Collection : Grundlehren der mathematischen wissenschaften

N° de collection : 0127

Localisation : Collection 1er étage

Type d'ouvrage : Monographie

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00001669 [disponible]
Z