close
1.

図書
図書
1. Justification logic : reasoning with reasons (: hardback)
Sergei Artemov, Melvin Fitting
出版情報: Cambridge : Cambridge University Press, 2019
シリーズ名: Cambridge tracts in mathematics ; 216
所蔵情報: loading…
2.

図書
図書
2. Elements of causal inference : foundations and learning algorithms (: hardcover)
Jonas Peters, Dominik Janzing, and Bernhard Schölkopf
出版情報: Cambridge, Mass. : MIT Press, c2017
シリーズ名: Adaptive computation and machine learning
所蔵情報: loading…
3.

図書
図書
3. Appalachian set theory : 2006-2012 (: pbk)
[edited by] James Cummings, Ernest Schimmerling
出版情報: Cambridge : Cambridge University Press, 2013
シリーズ名: London Mathematical Society lecture note series ; 406
所蔵情報: loading…
4.

図書
図書
4. Automata logics, and infinite games : a guide to current research
Erich Grädel, Wolfgang Thomas, Thomas Wilke (eds.)
出版情報: Tokyo : Springer, c2002 , Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science / ヘルマン・ヘッセ [著] ; 日本ヘルマン・ヘッセ友の会・研究会編・訳 ; 2500
所蔵情報: loading…
5.

図書
図書
5. The logic of knowledge bases
Hector J. Levesque and Gerhard Lakemeyer
出版情報: Cambridge, Mass. : MIT Press, c2000
所蔵情報: loading…
6.

図書
図書
6. Learning language in logic
James Cussens, Sašo Džeroski (eds.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1925 . Lecture notes in artificial intelligence
所蔵情報: loading…
7.

図書
図書
7. Introduction to circuit complexity : a uniform approach (: softcover)
Heribert Vollmer
出版情報: Berlin ; New York : Springer, c1999
シリーズ名: Texts in theoretical computer science ; An EATCS series
所蔵情報: loading…
8.

図書
図書
8. Propositional logic : deduction and algorithms
Hans Kleine Büning, Theodor Lettman
出版情報: Cambridge : Cambridge University Press, 1999
シリーズ名: Cambridge tracts in theoretical computer science ; 48
所蔵情報: loading…
9.

図書
図書
9. Formal concept analysis : mathematical foundations (: softcover)
Bernhard Ganter, Rudolf Wille ; [translated from the German by Cornelia Franzke]
出版情報: Beelin ; New York : Springer, c1999
所蔵情報: loading…
10.

図書
図書
10. Handbook of tableau methods
edited by Marcello D'Agostino ... [et al.]
出版情報: Dordrecht : Kluwer, 1999
所蔵情報: loading…