Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- xiii-285 p.
Cote : 00037500
théorie des groupes # arbre # théorie des graphes # groupes géométriques
20-02 ; 20F65 ; 20E08
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 250 p.
Cote : 00029998
logique mathématique # logique du premier ordre # logique des propositions # déduction naturelle
03-01 ; 03B10 ; 03B05
Localisation : Ouvrage RdC (CHIS)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- ix; 157 p.
Cote : 00035647
language formel # informatique # grammaire de Chomsky # machine de Turing # fonction recursive
03D10 ; 03D20 ; 20F10 ; 20F65 ; 68Q05 ; 68Q42 ; 68Q45 ; 68-01
Localisation : Ouvrage RdC (CHIS)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
English