Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xi; 294 p.
ISBN 978-1-4939-9050-4
Fields institute communications , 0082
Localisation : Collection 1er étage
analyse numérique # algèbre informatique # quantification de la fiabilité et de l'incertitude # théorie de la complexité # combinatoire # analyse des erreurs # théorie des perturbations # mathématiques expérimentales # épistémologie # fondement des mathématiques
00A30 ; 03A05 ; 03-06 ; 68-06 ; 00A71
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- ix; 207 p.
ISBN 978-1-4704-4332-0
Contemporary mathematics , 0752
Localisation : Collection 1er étage
Simon Thomas # théorie des ensembles # théorie descriptive des ensembles # théorie des modèles internes # théorie ergodique # combinatoire # théorie des modèles
03E15 ; 03E35 ; 03E45 ; 03E60 ; 03E75 ; 03C45 ; 28D05 ; 05C45 ; 00B30 ; 03Exx ; 03-06
... Lire [+]
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.
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.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
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.
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.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.