m

Documents  Normann, Dag | enregistrements trouvés : 2

O
     

-A +A

P Q

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

- xiii; 272 p.
ISBN 978-0-521-88425-9

Lecture notes in logic , 0028

Localisation : Colloque 1er étage (ATHE)

logique

03-06 ; 00B25

... Lire [+]

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

- 431 p.
ISBN 978-3-540-10019-5

Lecture notes in mathematics , 0811

Localisation : Collection 1er étage

logique # distribution invariante # algoritmique # recursion

03D65

... Lire [+]

Filtrer

Type
Codes MSC

Titres de périodiques et e-books électroniques (Depuis le CIRM)

Ressources Electroniques

Books & Print journals

Recherche avancée


0
Z