m

F Nous contacter

0

Documents  Chiswell, Ian | enregistrements trouvés : 4

O
     

-A +A

P Q

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

- 250 p.
ISBN 978-0-19-921562-1

Oxford texts in logic , 0003

Localisation : Ouvrage RdC (CHIS)

logique mathématique # logique du premier ordre # logique des propositions # déduction naturelle

03-01 ; 03B10 ; 03B05

... Lire [+]

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

- ix; 157 p.
ISBN 978-1-84800-939-4

Universitext

Localisation : Ouvrage RdC (CHIS)

language formel # informatique # grammaire de Chomsky # machine de Turing # fonction recursive

03D10 ; 03D20 ; 20F10 ; 20F65 ; 68Q05 ; 68Q42 ; 68Q45 ; 68-01

... Lire [+]

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

- x; 315 p.
ISBN 978-981-02-4386-9

Localisation : Ouvrage RdC (CHIS)

arbre métrique # groupe agissant sur un arbre # surface hyperbolique

20E08 ; 20-02 ; 20F65 ; 05C05 ; 05C25 ; 57M05 ; 57M07 ; 20E05 ; 20E06 ; 03C60

... Lire [+]

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

- xiii-285 p.
ISBN 978-1-107-02481-6

Cambridge tracts in mathematics , 0195

Localisation : Collection 1er étage

théorie des groupes # arbre # théorie des graphes # groupes géométriques

20-02 ; 20F65 ; 20E08

... Lire [+]

Z