Documents liés : [39 document(s)]

Documents (Mots clés)

• [IremOuvrage] Logicomix / Doxiadis, Apostolos ; Papadimitriou, Christos H. ; Ill. Papadatos, Alecos. -Paris : Vuibert, 2018. - 361 p. ; 24 cm
  ISBN 9782311102321
  
• [MathOuvrage] Noise sensitivity of Boolean functions and percolation / Garban, Christophe ; Steif, Jeffrey E.. -Cambridge : Cambridge university Press, 2015. - xvii, 203 p. ; 23 cm
  ISBN 9781107432550
  
• [MathOuvrage] Duality theories for Boolean algebras with operators / Givant, Steven. -Cham : Springer, 2014. - xiv, 233 p. ; 24 cm
  ISBN 9783319067421
  
• [MathOuvrage] Boolean functions / Crama, Yves ; Hammer, Peter L.. -Cambridge : Cambridge university Press, 2011. - xxi, 687 p. ; 24 cm
  ISBN 9780521847513
  
• [IremOuvrage] Logicomix / Doxiadis, Apostolos ; Papadimitriou, Christos H. ; Ill. Papadatos, Alecos. -Paris : Vuibert, 2010. - 349 p. ; 24 cm
  ISBN 9782711743513
  
• [MathOuvrage] Boolean models and methods in mathematics, computer science, and engineering / Ed. Crama, Yves ; Ed. Hammer, Peter L.. -Cambridge : Cambridge university Press, 2010. - xviii, 759 p. ; 24 cm
  ISBN 9780521847520
  
• [MathOuvrage] Beyond topology / Ed. Mynard, Frédéric ; Ed. Pearl, Elliott. -Providence RI : American mathematical Society, 2009. - viii, 383 p. ; 26 cm
  ISBN 9780821842799
  
• [MathOuvrage] Sentential probability logic / Hailperin, Theodore. -London : Associated university presses, 1996. - 304 p. ; 24 cm
  ISBN 9780934223454
  
• [MathOuvrage] Discrete mathematics / Aigner, Martin ; Trad. Kramer, David. -Providence RI : American mathematical Society, 2007. - xii, 388 p. ; 26 cm
  ISBN 9780821841518
  
• [MathOuvrage] Eléments de mathématiques discrètes / Frécon, Louis. -Lausanne : Presses polytechniques et universitaires romandes, 2002. - xiv, 378 p. ; 24 cm
  ISBN 9782880744793
  
• [MathOuvrage] Boolean valued analysis / Kusraev, A. G. ; Trad. Kutateladze, S. S.. -Boston MA, Dordrecht, London : Kluwer Academic Publishers, 1999. - xii, 322 p. ; 25 cm
  https://link.springer.com/bookseries/6249
  
• [MathOuvrage] General lattice theory / Graetzer, George ; Collab. Davey, Brian A. ; Collab. Freese, R.S. ; Collab. Ganter, B.. -Basel, Berlin, Boston MA : Birkhäuser, 1998. - xix, 663 p. ; 24 cm
  
• [IremOuvrage] Algèbre de Boole -Paris : IREM de Paris 7, 1973. - 76 p. ; 30 cm
  
• [IremOuvrage] Algèbre de Boole / Fage, C.. -Limoges : IREM de Limoges, 2001. - 18 p. ; 30 cm
  
• [IremOuvrage] Algèbre appliquée à l'informatique / Mignotte, Maurice. -Paris : Presses universitaires de France, 1987. - 179 p. ; 22 cm
  ISBN 9782130402862
  
  
• [IremOuvrage] Algèbre générale / Charles, Bernard ; Allouch, Denis. -Paris : Presses universitaires de France, 1984. - 336 p. ; 22 cm
  
• [MathOuvrage] Operator algebras generated by commuting projections / Ricker, Werner. -Berlin, Heidelberg, New York NY : Springer, 1999. - xvii, 159 p. ; 24 cm
  https://link.springer.com/openurl.asp?genre=journal&issn=0075-8434
  
• [MathOuvrage] Natural dualities for the working algebraist / Clark, David M. ; Davey, Brian A.. -Cambridge : Cambridge university Press, 1998. - xii, 356 p. ; 24 cm
  
• [MathOuvrage] Algèbres de Boole avec une introduction à la théorie algébrique des graphes orientés et aux "sous ensembles flous" / Serfati, Michel ; Préf. Dugué, Daniel. -Paris : Centre de Documentation Universitaire, 1974. - 183 p. ; 27 cm
  
• [MathOuvrage] Logique mathématique. Cours et exercices. T. 1 / Cori, René ; Lascar, Daniel ; Préf. Krivine, Jean-Louis. -Paris : Masson, 1993. - xv, 324 p. ; 24 cm
  
• [MathOuvrage] Mathématiques pour l'informatique / Arnold, Andre ; Guessarian, Irene. -Barcelone, Milan, Paris : Masson, 1997. - xiii, 399 p. ; 24 cm
  
• [MathOuvrage] Cardinal invariants on boolean algebras / Monk, J. Donald. -Basel : Birkhäuser, 1996. - ix, 298 p. ; 24 cm
  https://link.springer.com/book/10.1007/978-3-0346-0334-8
  
• [MathOuvrage] Algebras de Boole / Sikorski, Roman. -Bahia Blanca : Universidad nacional del Sur;Instituto de Matematica, 1968. - 84 p. ; 27 cm
  http://inmabb-conicet.gob.ar/publicaciones/notas-de-logica-matematica
  
• [MathOuvrage] Nearly projective boolean algebras / Heindorf, Lutz ; Shapiro, Leonid B.. -Berlin, Heidelberg, London, New York, Paris : Springer, 1994. - x, 202 p. ; 24 cm
  https://doi.org/10.1007/BFb0094103
  
• [MathOuvrage] Ordered sets and lattices II / Draskovicova, H. ; Fofanova, T.S. ; Igoshin, V.I. ; Katrinak, T. ; Kolibiar, M. ; Komarnitskii, N. Ya. ; Mikhalev, Alexander V. ; Salii, V.N. ; Skornyakov, L. A.. -Providence RI : American mathematical Society, 1992. - x, 246 p. ; 26 cm
  
• [MathOuvrage] Mathématiques pour l'informatique / Arnold, Andre ; Guessarian, Irene. -Barcelone, Bonn, Milan, Paris : Masson, 1993. - xiv, 349 p. ; 24 cm
  
• [MathPrépublication] A Measure theoretic approach to logical quantification / Ellerman, David P. ; Rota, Gian-Carlo. -Strasbourg : Institut de recherche mathématique avancée, 1979. - 34 p. ; 29 cm
  
• [MathOuvrage] The Complexity of boolean functions / Wegener, I.. -New York : John Wiley, 1987. - xi, 457
  
• [MathOuvrage] Algebra for computer science / Garding, Lars ; Tambour, T.. -Berlin : Springer, 1988. - ix, 198
  https://link.springer.com/openurl.asp?genre=journal&issn=2191-6675
  
• [MathOuvrage] Lectures on boolean algebras / Halmos, Paul R.. -Princeton : Van Nostrand, 1963. - 147
  
• [MathOuvrage] Boolean algebras / Sikorski, Roman. -Berlin : Springer, 1960. - 176
  http://www.numir.org.scd-rproxy.u-strasbg.fr/articles/articles.php?cat=1 ; https://link.springer.com/book/10.1007/978-3-662-01507-0
  
• [MathOuvrage] Monographie des treillis et algèbre de Boole / Carvallo, Michel. -Paris : Gauthier-Villars, 1962. - xii, 125
  
• [MathOuvrage] Compact zero-dimensional metric spaces of finite type / Pierce, R.S.. -Providence RI : American mathematical Society, 1972. - ii, 64 p.
  
• [MathOuvrage] Topological semifields and their applications to general topology / Antonovskii, M.Ja. ; Boltyanski, Vladimir ; Sarymsakov, T.A.. -Providence RI : American mathematical Society, 1977. - vi, 142
  
• [MathOuvrage] Algèbre et topologie booléennes / Ponasse, Daniel ; Carrega, Jean-Claude. -Barcelone, New York, Paris : Masson, 1979. - viii, 303
  
• [MathOuvrage] Two applications of logic to mathematics / Takeuti, Gaisi. -Princeton NJ, Tokyo : Princeton university Press;Iwanami Shoten, 1978. - viii, 138
  https://www.mathsoc.jp/publications/pubmsj/
  
• [MathOuvrage] Cardinal functions on boolean algebras / Monk, J. Donald. -Basel : Birkhäuser, 1990. - 152
  https://link.springer.com/bookseries/4907
  
• [MathThèse] Calcul formel et parallélisme / Senechaud, Pascale. -Grenoble : Institut National Polytechnique de Grenoble, 1990. - 215
  
• [MathOuvrage] Boolean methods in interpolation and approximation / Delvos, F.-J. ; Schempp, W.. -Harlow : Longman Scientific & Technical, 1989. - 168