A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Résultat de la recherche
3 résultat(s) recherche sur le mot-clé 'quantifier elimination'




Algorithms in real algebraic geometry / Basu, Saugata
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 17780 14C263 imprimé / autre CRDM 14/GEOMETRIE ALGEBRIQUE Disponible Rings of separated power series and quasi-affinoid geometry / Lipshitz, Leonard; Robinson, Zachary
Titre : Rings of separated power series and quasi-affinoid geometry Type de document : texte imprimé Auteurs : Lipshitz, Leonard; Robinson, Zachary Editeur : Paris : Société Mathématiques de France Année de publication : 2000 Collection : Astérisque, ISSN 0303-1179 num. 264 Importance : 171 p. Langues : Français Catégories : 32-XX Several complex variables and analytic spaces :32-02 Research exposition (monographs, survey articles)
32-XX Several complex variables and analytic spaces :32BXX Local analytic geometry :32B05 Analytic algebras and generalizations, preparation theorems
32-XX Several complex variables and analytic spaces :32P05 Non-Archimedean complex analysis (should also be assigned at least one other classification number from Section 32 describing the type of problem)Mots-clés : separated power series quantifier elimination subanalytic sets rigid analytic geometry Index. décimale : AST Rings of separated power series and quasi-affinoid geometry [texte imprimé] / Lipshitz, Leonard; Robinson, Zachary . - Paris : Société Mathématiques de France, 2000 . - 171 p.. - (Astérisque, ISSN 0303-1179; 264) .
Langues : Français
Catégories : 32-XX Several complex variables and analytic spaces :32-02 Research exposition (monographs, survey articles)
32-XX Several complex variables and analytic spaces :32BXX Local analytic geometry :32B05 Analytic algebras and generalizations, preparation theorems
32-XX Several complex variables and analytic spaces :32P05 Non-Archimedean complex analysis (should also be assigned at least one other classification number from Section 32 describing the type of problem)Mots-clés : separated power series quantifier elimination subanalytic sets rigid analytic geometry Index. décimale : AST Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 14177 AST/264 imprimé / autre CRDM AST/ASTÉRISQUE Disponible A shorter model theory / Wilfrid Hodges
Titre : A shorter model theory Type de document : texte imprimé Auteurs : Wilfrid Hodges Editeur : Cambridge : Cambridge University Press Année de publication : 1997 Importance : x, 310 p. Présentation : ill. Format : 23 cm ISBN/ISSN/EAN : 978-0-521-58713-6 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.)
03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles)
03-XX Mathematical logic and foundations:03CXX Model theoryMots-clés : model theory omitting types stability categoricity quantifier elimination Index. décimale : 03C Monographie A shorter model theory [texte imprimé] / Wilfrid Hodges . - Cambridge : Cambridge University Press, 1997 . - x, 310 p. : ill. ; 23 cm.
ISBN : 978-0-521-58713-6
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.)
03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles)
03-XX Mathematical logic and foundations:03CXX Model theoryMots-clés : model theory omitting types stability categoricity quantifier elimination Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 18327 03C173 imprimé / autre CRDM 05/ANALYSE COMBINATOIRE Disponible