m

F Nous contacter

0

Documents  03-06 | enregistrements trouvés : 134

O

-A +A

P Q

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

- xv; 702 p.
ISBN 978-1-138-40194-5

Lecture notes in pure and applied mathematics , 0180

Localisation : Colloque 1er étage (PONT)

logique # algèbre

00B25 ; 03-06 ; 08-06

... Lire [+]

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

- xx; 322 p.
ISBN 978-1-4704-2256-1

Contemporary mathematics , 0690

Localisation : Collection 1er étage

W. Hugh Woodin # théorie des ensembles # grand cardinal # espace de Banach # récursion # philosophie

03-06 ; 03Exx ; 00B15 ; 00B30 ; 03E55 ; 03E60 ; 03E57 ; 03E45 ; 03E35 ; 03E15 ; 00A30 ; 03D03

... Lire [+]

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

- ix; 174 p.
ISBN 978-981-4699-94-5

Lecture notes series, Institute for mathematical sciences, National university of Singapore , 0029

Localisation : Colloque 1er étage (SING)

théorie des modèles # non-résolubilité # logique mathématique # forcing

03-06 ; 03E40 ; 03C20 ; 03D28 ; 00B25

... Lire [+]

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

- 257 p.
ISBN 978-83-86806-31-7

Banach center publications , 0108

Localisation : Salle des périodiques 1er étage

algèbre commutative # logique # théorie des nombres

00B25 ; 13-06 ; 03-06 ; 11-06

... Lire [+]

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

- xi; 419 p.
ISBN 978-1-107-60850-4

London mathematical society lecture note series , 0406

Localisation : Collection 1er étage

03-06 ; 03Exx ; 00B25

... Lire [+]

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

- 150 p.
ISBN 978-3-642-11119-8

CIME summer schools , 0069

Localisation : Colloque 1er étage (BRES)

logique # théorie des modèles

03-06 ; 03Cxx ; 00B25

... Lire [+]

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

- xvii-316 p.
ISBN 978-0-8218-6923-9

Contemporary mathematics , 0576

Localisation : Collection 1er étage

théorie des groupes # théorie des modèles # Rüdiger Gödel

20-06 ; 03-06 ; 20Kxx ; 20A15 ; 03C60 ; 20K10 ; 20K20 ; 20K40 ; 03C98 ; 00B25

... Lire [+]

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

- x-181 p.
ISBN 978-981-4360-53-1

Localisation : Colloque 1er étage (SING)

logique mathématique # théorie des modèles # informatique

03-06 ; 00B25 ; 00B30 ; 03B45 ; 03Cxx ; 03Dxx

... Lire [+]

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

- xvii-705 p.
ISBN 978-981-4401-52-4

World scientific proceedings series on computer engineering and information science , 5

Localisation : Colloque 1er étage (XIAN)

logique # logique floue # programmation # intelligence artificielle

03-06 ; 03Bxx ; 03B70 ; 03E72 ; 68Qxx ; 00B25

... Lire [+]

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

- xi, 255 p.
ISBN 978-3-642-21349-6

Lecture notes in computer science , 6680

Localisation : Collection 1er étage

informatique # intélligence artificielle # enseignement # logique formelle

03-06 ; 68-06 ; 97-06

... Lire [+]

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

- 622 p.
ISBN 978-0-7204-2074-6

Localisation : Colloque 1er étage (ROCQ)

automates # langage formel # algorithme # programmation

00Bxx ; 03-06 ; 68-06 ; 94-06

... Lire [+]

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

- viii; 519 p.
ISBN 978-0-8218-4943-9

Contemporary mathematics , 0558

Localisation : Collection 1er étage

théorie des modèles finis # probabilités combinatoires

03-02 ; 03-06 ; 05-02 ; 05-06 ; 68-02 ; 68-06 ; 03C65 ; 05Axx ; 05Cxx ; 68Q19 ; 00B25

... Lire [+]

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

- 325 p.

Proceedings of the Steklov institute of mathematics , 0274

Localisation : Collection 1er étage

68-06 ; 03-06

... Lire [+]

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

- xi; 341 p.
ISBN 978-0-521-71820-2

London mathematical society lecture note series , 0379

Localisation : Collection 1er étage

logique # modèle fini # modèle algorithmique # théorie des modèles

03-06 ; 03C07 ; 03C13 ; 00B25

... Lire [+]

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

- x; 426 p.
ISBN 978-0-8218-7281-9

CRM proceedings & lecture notes , 0053

Localisation : Collection 1er étage

théorie des modèles # catégories # théorie de la classification # catégories fibrées

03-06 ; 03C45 ; 03C52 ; 03C90 ; 03G30 ; 18C10 ; 18D05 ; 18D30 ; 00B25 ; 00B30

... Lire [+]

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

- xx; 466 p.
ISBN 978-88-7999-411-8

Quaderni di matematica , 0011

Localisation : Colloque 1er étage (RAVE)

théorie des modèles # logique # théorie des nombres # théorie des groupes # théorie des corps

20E08 ; 05C25 ; 03C64 ; 03C60 ; 03C10 ; 20F60 ; 20E32 ; 20D05 ; 03C45 ; 20A15 ; 03C07 ; 03C98 ; 32B05 ; 12F10 ; 03C20 ; 11G25 ; 11G10 ; 11U09 ; 14G15 ; 20G15 ; 22E30 ; 12H05 ; 12L12 ; 30D60 ; 58A17 ; 20E42 ; 14K15 ; 03-06 ; 00B25 ; 11-06 ; 12-06 ; 20-06

... Lire [+]

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

- xi; 330 p.
ISBN 978-0-8218-4812-8

Contemporary mathematics , 0533

Localisation : Collection 1er étage

théorie des ensembles # théorie de Ramsey

03C55 ; 03E15 ; 03E17 ; 03E35 ; 03E60 ; 46L05 ; 54A20 ; 54A25 ; 54D20 ; 91A44 ; 03-06 ; 03Exx ; 00B25

... Lire [+]

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

- ix; 200 p.
ISBN 978-0-8218-4833-3

Contemporary mathematics , 0530

Localisation : Collection 1er étage

logique mathématique # ensemble combinatoire # théorie de Ramsey # ultrafiltres

03C20 ; 03E05 ; 03H05 ; 05C55 ; 28E15 ; 03-06 ; 00B25

... Lire [+]

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

- 162 p.

Localisation : Colloque 1er étage (BAHI)

06-06 ; 08-06 ; 03-06 ; 46-06 ; 00B25

... Lire [+]

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

- xiii; 267 p.
ISBN 978-0-521-76065-2

Lecture notes in logic

Localisation : Colloque 1er étage (WROC)

logique mathématique # théorie de la preuve # logique formelle

03-06 ; 03Fxx ; 00B25

... Lire [+]

Z