2 résultat(s) recherche sur le mot-clé 'decision tree'

Forcing with random variables and proof complexity / Jan Krajicek

Public ISBD Titre : Forcing with random variables and proof complexity Type de document : texte imprimé Auteurs : Jan Krajicek, Auteur Editeur : Cambridge University Press Année de publication : 2011 Collection : London Mathematical Society Lecture Note Series. num. 382 Importance : xvi - 247 p. Format : 23 cm ISBN/ISSN/EAN : 978-0-521-15433-8 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03CXX Model theory:03C62 Models of arithmetic and set theory 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F20 Complexity of proofs Mots-clés : Bounded arithmetic  propositional proof complexity  Boolean-valued models  Loeb's measure  decision tree Index. décimale : 03C Monographie Forcing with random variables and proof complexity [texte imprimé] / Jan Krajicek, Auteur . - [S.l.] : Cambridge University Press, 2011 . - xvi - 247 p. ; 23 cm. - (London Mathematical Society Lecture Note Series.; 382) . ISBN : 978-0-521-15433-8 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03CXX Model theory:03C62 Models of arithmetic and set theory 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F20 Complexity of proofs Mots-clés : Bounded arithmetic  propositional proof complexity  Boolean-valued models  Loeb's measure  decision tree Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
22219	03C191	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible
22220	03C191	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

Simplicial complexes of graphs / Jakob Jonsson 

Public ISBD Titre : Simplicial complexes of graphs Type de document : texte imprimé Auteurs : Jakob Jonsson, Auteur Editeur : Springer-Verlag Année de publication : 2008 Collection : Lecture Notes in Mathematics, ISSN 0075-8434 num. 1928 Importance : xiv, 378 p. Présentation : fig., couv. ill. Format : 24cm ISBN/ISSN/EAN : 978-3-540-75858-7 Note générale : SpringerLink Langues : Anglais Catégories : 05-XX Combinatorics :05-01 Instructional exposition (textbooks, tutorial papers, etc.) 05-XX Combinatorics :05EXX Algebraic combinatorics:05E25 Group actions on posets and homology groups of posets 55-XX Algebraic topology:55UXX Applied homological algebra and category theory :55U10 Simplicial sets and complexes Mots-clés : graph complex  graph property  discrete Morse theory  decision tree Index. décimale : LNM En ligne : http://www.springerlink.com/content/978-3-540-75858-7 Simplicial complexes of graphs [texte imprimé] / Jakob Jonsson, Auteur . - [S.l.] : Springer-Verlag, 2008 . - xiv, 378 p. : fig., couv. ill. ; 24cm. - (Lecture Notes in Mathematics, ISSN 0075-8434; 1928) . ISBN : 978-3-540-75858-7 SpringerLink Langues : Anglais Catégories : 05-XX Combinatorics :05-01 Instructional exposition (textbooks, tutorial papers, etc.) 05-XX Combinatorics :05EXX Algebraic combinatorics:05E25 Group actions on posets and homology groups of posets 55-XX Algebraic topology:55UXX Applied homological algebra and category theory :55U10 Simplicial sets and complexes Mots-clés : graph complex  graph property  discrete Morse theory  decision tree Index. décimale : LNM En ligne : http://www.springerlink.com/content/978-3-540-75858-7

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
18374	LNM/1928	imprimé / autre	CRDM	LNM/LECTURES NOTES IN MATHEMATICS	Disponible