Dual tableaux: foundations, methodology, case studies / Ewa Orlowska

Public ISBD Titre : Dual tableaux: foundations, methodology, case studies Type de document : texte imprimé Auteurs : Ewa Orlowska (1935-....), Auteur Editeur : Dordrecht : Springer Netherlands Année de publication : 2011 Collection : Trends in Logic num. 33 Importance : v - 562 p. ISBN/ISSN/EAN : 978-94-007-0005-5 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03BXX General logic 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F07 Structure of proofs Mots-clés : dual tableaux  algebra of binary relations  relational logic  relational database  relational reasoning  relevant logic  information logic  fuzzy logic  temporal logic  logics of programs Index. décimale : 03C Monographie Dual tableaux: foundations, methodology, case studies [texte imprimé] / Ewa Orlowska (1935-....), Auteur . - Dordrecht : Springer Netherlands, 2011 . - v - 562 p.. - (Trends in Logic; 33) . ISBN : 978-94-007-0005-5 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03BXX General logic 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F07 Structure of proofs Mots-clés : dual tableaux  algebra of binary relations  relational logic  relational database  relational reasoning  relevant logic  information logic  fuzzy logic  temporal logic  logics of programs Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
21116	03C188	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

Logical foundations of proof complexity / Stephen Cook

Public ISBD Titre : Logical foundations of proof complexity Type de document : texte imprimé Auteurs : Stephen Cook, Auteur ; Phuong Nguyen, Auteur Editeur : Cambridge University Press Année de publication : 2010 Collection : Perspectives in Logic Importance : xv - 479 p. ISBN/ISSN/EAN : 978-0-521-51729-4 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F07 Structure of proofs Mots-clés : mathematical logic Index. décimale : 03C Monographie Logical foundations of proof complexity [texte imprimé] / Stephen Cook, Auteur ; Phuong Nguyen, Auteur . - [S.l.] : Cambridge University Press, 2010 . - xv - 479 p.. - (Perspectives in Logic) . ISBN : 978-0-521-51729-4 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F07 Structure of proofs Mots-clés : mathematical logic Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
19319	03C176	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

Nonmonotonic logics / Schlechta, Karl

Public ISBD 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 intelligence Mots-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 intelligence Mots-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

---

page 1/1