m

F Nous contacter

0

Documents  Dekker, J. C. E. | enregistrements trouvés : 2

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Proceedings of symposia in pure mathematics , 0005

Localisation : Collection 1er étage

ambiguité et paradoxe # calculateur digital # fonction récursive # forme de négation de prédicat # générateur de suite # hiérarchie # isol # langage mécanique # machine de Turing universelle # mathématique intuitioniste # modèle non-standard # programme informatique # système de Post Tag # système formel # théorie des nombres # vérification de preuve mathématique

03D20 ; 03D55 ; 03Dxx ; 03F55 ; 03Hxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 74 p.

Collection de logique mathématique série A , 0022

Localisation : Disparu;Ouvrage RdC (DEKK)

fonction combinatoire # isol # logique mathématique

03D50 ; 05A10

... Lire [+]

Z