A partir de cette page vous pouvez :
Retourner au premier écran avec les recherches... |
. CRDM
03/MATHEMATICAL LOGIC AND FOUNDATIONS > Non classé
Automated reasoning with analytic tableaux and related methods / TABLEAUX
Titre : Automated reasoning with analytic tableaux and related methods Titre original : International conference, TABLEAUX '97 Type de document : texte imprimé Auteurs : TABLEAUX ; Galmiche, Didier Ed. Editeur : Springer-Verlag Année de publication : 1997 Collection : Lecture Notes in Computer Science. Lecture Notes in Artificial Intelligence num. 1227 Importance : xi - 373 p. ISBN/ISSN/EAN : 978-3-540-62920-7 Langues : Anglais Mots-clés : related methods analytical tableaux automated reasoning tableaux '97 conference proceedings pont-a-mousson (france) Index. décimale : IRIN Automated reasoning with analytic tableaux and related methods = International conference, TABLEAUX '97 [texte imprimé] / TABLEAUX ; Galmiche, Didier Ed. . - [S.l.] : Springer-Verlag, 1997 . - xi - 373 p.. - (Lecture Notes in Computer Science. Lecture Notes in Artificial Intelligence; 1227) .
ISBN : 978-3-540-62920-7
Langues : Anglais
Mots-clés : related methods analytical tableaux automated reasoning tableaux '97 conference proceedings pont-a-mousson (france) Index. décimale : IRIN Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 12964 IRIN/03C63 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible la Logique floue et ses applications / Bouchon-Meunier, Bernadette
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 12951 IRIN/03C142 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Nonmonotonic logics / Schlechta, Karl
Titre : Nonmonotonic logics : basic concepts, results and techniques Type de document : texte imprimé Auteurs : Schlechta, Karl Editeur : Springer-Verlag Année de publication : 1997 Collection : Lectures notes in artificial intelligence num. 1187 Importance : ix - 243 p. ISBN/ISSN/EAN : 978-3-540-62482-0 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B60 Other nonclassical logic
03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F07 Structure of proofs
68-XX Computer science :68TXX Artificial intelligence:68T27 Logic in artificial intelligenceMots-clés : logic and analysis nonmonotonic logics Index. décimale : IRIN Nonmonotonic logics : basic concepts, results and techniques [texte imprimé] / Schlechta, Karl . - [S.l.] : Springer-Verlag, 1997 . - ix - 243 p.. - (Lectures notes in artificial intelligence; 1187) .
ISBN : 978-3-540-62482-0
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B60 Other nonclassical logic
03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F07 Structure of proofs
68-XX Computer science :68TXX Artificial intelligence:68T27 Logic in artificial intelligenceMots-clés : logic and analysis nonmonotonic logics Index. décimale : IRIN Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 12963 IRIN/03C56 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Sweet reason / Tymoczko, Tom
Titre : Sweet reason : a field guide to modern logic Type de document : texte imprimé Auteurs : Tymoczko, Tom ; Henle, Jim Editeur : New York, NY : Springer Année de publication : 2000 Collection : Texts books in mathematical sciences Importance : xxii - 644 p. ISBN/ISSN/EAN : 978-0-387-98930-3 Langues : Anglais Mots-clés : mathematical logic Index. décimale : IRIN Sweet reason : a field guide to modern logic [texte imprimé] / Tymoczko, Tom ; Henle, Jim . - New York, NY : Springer, 2000 . - xxii - 644 p.. - (Texts books in mathematical sciences) .
ISBN : 978-0-387-98930-3
Langues : Anglais
Mots-clés : mathematical logic Index. décimale : IRIN Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 13005 IRIN/03C62 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Theory of relations / Fraïssé, Roland
Titre : Theory of relations : with an appendix by Norbert Sauer Type de document : texte imprimé Auteurs : Fraïssé, Roland ; Gabbay, D.M. ; Artemov, S. ; S. Abramsky ; Richard A. Shore, Auteur ; P. Clote, Traducteur Mention d'édition : Revised ed. Editeur : Amtsterdam : North-Holland Publishing Company Année de publication : 2000 Collection : Studies in Logic and the Foundations of Mathematics num. 145 Importance : 451 p. ISBN/ISSN/EAN : 978-0-444-50542-2 Langues : Anglais Langues originales : Français 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:03EXX Set theory:03E05 Other combinatorial set theory
06-XX Order, lattices, ordered algebraic structures :06-01 Instructional exposition (textbooks, tutorial papers, etc.)
06-XX Order, lattices, ordered algebraic structures :06-02 Research exposition (monographs, survey articles)Mots-clés : age relational systems posets trees chains ordered sets cofinality order relations partition calculus order theory axiomatic set theory Index. décimale : IRIN Theory of relations : with an appendix by Norbert Sauer [texte imprimé] / Fraïssé, Roland ; Gabbay, D.M. ; Artemov, S. ; S. Abramsky ; Richard A. Shore, Auteur ; P. Clote, Traducteur . - Revised ed. . - Amtsterdam : North-Holland Publishing Company, 2000 . - 451 p.. - (Studies in Logic and the Foundations of Mathematics; 145) .
ISBN : 978-0-444-50542-2
Langues : Anglais Langues originales : Français
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:03EXX Set theory:03E05 Other combinatorial set theory
06-XX Order, lattices, ordered algebraic structures :06-01 Instructional exposition (textbooks, tutorial papers, etc.)
06-XX Order, lattices, ordered algebraic structures :06-02 Research exposition (monographs, survey articles)Mots-clés : age relational systems posets trees chains ordered sets cofinality order relations partition calculus order theory axiomatic set theory Index. décimale : IRIN Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 13364 IRIN/03C04 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible