skip to main content
Langue :
COVID-19 : bibliothèque fermée. 

Nouveau service Retrait de documents sur rendez-vous
COVID-19 : bibliothèque fermée. 

Nouveau service Retrait de documents sur rendez-vous
Afficher les résultats avec :

Résultats 1 - 10 sur 16  pour Articles en ligne

résultats 1 2 next page
N'afficher que
Filtré par : sujet: Algèbre supprimer
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Théorie des ensembles
Material Type:
ebook
Ajouter au Panier

Théorie des ensembles

Bourbaki, Nicolas

Fait partie de l'ensemble : Éléments de mathématique

Berlin, Heidelberg. Springer Berlin Heidelberg. Springer e-books, 2006

2
Nearly Projective Boolean Algebras
Material Type:
ebook
Ajouter au Panier

Nearly Projective Boolean Algebras

Heindorf, Lutz (1953-...) ; Fuchino, Sakaé (1954-...) ; Šapiro, Leonid B (1952-...)

Appartient à la collection : Lecture notes in mathematics (Internet), 1596, ISSN 1617-9692

Berlin [etc.]. Springer, 201. ?

3
Algebra and Logic : Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia
Material Type:
ebook
Ajouter au Panier

Algebra and Logic : Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia

Crossley, John Newsome

Lecture Notes in Mathematics ; 450

Berlin [etc.]. Springer, 201. ?

4
Lectures on Formally Real Fields
Material Type:
ebook
Ajouter au Panier

Lectures on Formally Real Fields

Prestel, Alexander (1941-...)

Lecture Notes in Mathematics ; 1093

Berlin [etc.]. Springer, 201. ?

5
Formally p-adic Fields
Material Type:
ebook
Ajouter au Panier

Formally p-adic Fields

Prestel, Alexander (1941-...) ; Roquette, Peter (1927-...)

Lecture Notes in Mathematics ; 1050

Berlin [etc.]. Springer, 201. ?

6
Model Theory of Algebra and Arithmetic : Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic Held at Karpacz, Poland, September 1 – 7, 1979
Material Type:
ebook
Ajouter au Panier

Model Theory of Algebra and Arithmetic : Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic Held at Karpacz, Poland, September 1 – 7, 1979

Pacholski, Leszek (19...-) (Ed.) ; Wierzejewski, Jędrzej (19...-) (Ed.) ; Wilkie, Alex J (Ed.)

Lecture Notes in Mathematics ; 834

Berlin [etc.]. Springer, 201. ?

7
From Objects to Diagrams for Ranges of Functors
Material Type:
ebook
Ajouter au Panier

From Objects to Diagrams for Ranges of Functors

Gillibert, Pierre (1983-...) ; Wehrung, Friedrich (1961-...)

Appartient à la collection : Lecture notes in mathematics (Internet), 2029, ISSN 1617-9692

Berlin, Heidelberg. Springer Berlin Heidelberg. Springer e-books, 2011

8
Higher-Order Algebra, Logic, and Term Rewriting : Second International Workshop, HOA '95 Paderborn, Germany, September 21–22, 1995 Selected Papers
Material Type:
ebook
Ajouter au Panier

Higher-Order Algebra, Logic, and Term Rewriting : Second International Workshop, HOA '95 Paderborn, Germany, September 21–22, 1995 Selected Papers

Dowek, Gilles (1966-...) (Ed.) ; Heering, Jan (Ed.) ; Meinke, Karl (Ed.) ; Möller, Bernhard (1953-..) (Ed.)

Lecture Notes in Computer Science ; 1074

Berlin. Heidelberg. Springer-Verlag, 2005

9
Higher-Order Algebra, Logic, and Term Rewriting : First International Workshop, HOA'93 Amsterdam, The Netherlands, September 23–24, 1993 Selected Papers
Material Type:
ebook
Ajouter au Panier

Higher-Order Algebra, Logic, and Term Rewriting : First International Workshop, HOA'93 Amsterdam, The Netherlands, September 23–24, 1993 Selected Papers

Heering, Jan (Ed.) ; Meinke, Karl (Ed.) ; Möller, Bernhard (1953-..) (Ed.) ; Nipkow, Tobias (1958-..) (Ed.)

Lecture Notes in Computer Science ; 816

Berlin, Heidelberg. Springer-Verlag. Springer e-books, 2005

10
Axiom of choice
Material Type:
ebook
Ajouter au Panier

Axiom of choice

Herrlich, Horst (1937-2015)

Appartient à la collection : Lecture notes in mathematics (Internet), ISSN 1617-9692

Berlin, Heidelberg. Springer Berlin Heidelberg. Springer e-books, 2006

Résultats 1 - 10 sur 16  pour Articles en ligne

résultats 1 2 next page

Refine Search Results

Élargir mes résultats

  1.   

N'afficher que

  1. Evalués par les pairs (3)
  2. Catalogue (13)

Affiner vos résultats

Sujet 

  1. Logique mathématique  (13)
  2. Logic, Symbolic and mathematical  (10)
  3. Algebra  (10)
  4. Mathematics  (9)
  5. Mathematical Logic and Foundations  (9)
  6. Mathématiques  (7)
  7. Informatique  (5)
  8. Mathematical Logic and Formal Languages  (5)
  9. Computer science  (5)
  10. Réécriture, Systèmes de (informatique)  (3)
  11. Logics and Meanings of Programs  (3)
  12. Logic design  (3)
  13. Algorithmes  (2)
  14. Boole, Algèbre de  (2)
  15. Semiotics  (2)
  16. Variable  (2)
  17. Combinatory Logic  (2)
  18. Programming Languages, Compilers, Interpreters  (2)
  19. Computer software  (2)
  20. TOPOLOGIE  (2)
  21. General Algebraic Systems  (2)
  22. Logique Combinatoire  (2)
  23. Sémiotique  (2)
  24. Algorithm Analysis and Problem Complexity  (2)
  25. Function  (2)
  26. Fonction  (2)
  27. Théorie des ensembles  (2)
  28. Langages de programmation  (2)
  29. Quantification  (2)
  30. Topology  (2)
  31. Formes quadratiques  (1)
  32. Game theory  (1)
  33. Order, Lattices, Ordered Algebraic Structures  (1)
  34. Ramismo  (1)
  35. Corps valués  (1)
  36. Artificial Intelligence (incl. Robotics)  (1)
  37. Symbolic and Algebraic Manipulation  (1)
  38. Correlation  (1)
  39. Ramisme  (1)
  40. Théorie des jeux  (1)
  41. Anneaux commutatifs  (1)
  42. Intelligence artificielle  (1)
  43. Groupes, Théorie des  (1)
  44. History & Archaeology  (1)
  45. Renaissance  (1)
  46. Renacimiento  (1)
  47. Mathematical logic  (1)
  48. Software engineering  (1)
  49. Schöner  (1)
  50. Mathematics, general  (1)
  51. K-théorie  (1)
  52. Analyse fonctionnelle  (1)
  53. Functional analysis  (1)
  54. Salignac  (1)
  55. Monoïdes  (1)
  56. Algebra, Boolean  (1)
  57. Axiome du choix  (1)
  58. Génie logiciel  (1)
  59. Game Theory, Economics, Social and Behav. Sciences  (1)
  60. Automates mathématiques, Théorie des  (1)
  61. Algebra. Data processing  (1)
  62. Théorie des modèles  (1)
  63. Algorithms  (1)
  64. Logique algébrique  (1)
  65. Informatique. Mathématiques  (1)
  66. Foncteurs, Théorie des  (1)
  67. Corps formellement réels  (1)
  68. K-theory  (1)
  69. Artificial intelligence  (1)
  70. Combinatorics  (1)
  71. Ordinateurs. Programmation  (1)
  72. Ramism  (1)
  73. Analyse combinatoire  (1)
  74. Systems and Information Theory in Engineering  (1)
  75. Àlgebra  (1)
  76. Category Theory, Homological Algebra  (1)
  77. Groupes p-adiques  (1)
  78. Autres open sub menu

Elargir la recherche à tous les documents

Elargir la recherche à tous les documents

de cet auteur:

  1. Heering, Jan
  2. Desclés, Jean-Pierre
  3. Möller, Bernhard
  4. Meinke, Karl
  5. Prestel, Alexander

Vous n'avez pas trouvé ce que vous cherchiez ?

Vous pouvez relancer votre recherche :
  • dans le SUDOC (catalogue français des bibliothèques de l'enseignement supérieur et de la recherche)
  • dans WorldCat (catalogue international)
  • dans Google Scholar
  • dans Isidore (moteur de recherche du CNRS)
  • dans BASE (Bielefeld Academic Search Engine)

Vous pouvez aussi :

Recherche dans les bases de données distantes en cours. Merci de patienter.