close
1.

図書
図書
1. Formal concept analysis : 14th International Conference, ICFCA 2017, Rennes, France, June 13-16, 2017, proceedings (: pbk.)
Karell Bertet ... [et al.] (eds.)
出版情報: Cham : Springer, c2017
シリーズ名: Lecture notes in computer science ; 10308. Lecture notes in artificial intelligence
所蔵情報: loading…
2.

図書
図書
2. Advances in logic : the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas
Su Gao, Steve Jackson, Yi Zhang, editors
出版情報: Providence, R.I. : American Mathematical Society, c2007
シリーズ名: Contemporary mathematics ; 425
所蔵情報: loading…
3.

図書
図書
3. Symbolic and quantitative approaches to reasoning with uncertainty : 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001 : proceedings
Salem Benferhat, Philippe Besnard (eds.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2143 . Lecture notes in artificial intelligence
所蔵情報: loading…
4.

図書
図書
4. Artificial intelligence and symbolic computation : International Conference AISC 2000, Madrid, Spain, July 17-19, 2000 : revised papers
John A. Campbell, Eugenio Roanes-Lozano (eds.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 1930 . Lecture notes in artificial intelligence
所蔵情報: loading…
5.

図書
図書
5. Frontiers of combining systems : Third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000 : Proceedings
Hélène Kirchner, Christophe Ringeissen (eds.)
出版情報: Berlin ; Heidelberg : Springer-Verlag, c2000
シリーズ名: Lecture notes in computer science ; 1794 . Lecture notes in artificial intelligence
所蔵情報: loading…
6.

図書
図書
6. Automated deduction - CADE-17 : 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings
David McAllester (ed.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1831 . Lecture notes in artificial intelligence
所蔵情報: loading…
7.

図書
図書
7. Logics in artificial intelligence : European Workshop, JELIA 2000, Málaga, Spain, September 29-October 2, 2000 : proceedings
Manuel Ojeda-Aciego ... [et al.] (eds.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1919 . Lecture notes in artificial intelligence
所蔵情報: loading…
8.

図書
図書
8. Models and computability : invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997
edited by S. Barry Cooper, John K. Truss
出版情報: Cambridge ; New York : Cambridge University Press, 1999
シリーズ名: London Mathematical Society lecture note series ; 259
所蔵情報: loading…
9.

図書
図書
9. Symbolic and quantitative approaches to reasoning and uncertainty : European Conference, ECSQARU '99, London, UK, July 5-9, 1999 : proceedings
Anthony Hunter, Simon Parsons (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1638 . Lecture notes in artificial intelligence
所蔵情報: loading…
10.

図書
図書
10. Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil
Walter A. Carnielli, Itala M.L. D'Ottaviano, editors
出版情報: Providence, R.I. : American Mathematical Society, c1999
シリーズ名: Contemporary mathematics ; v. 235
所蔵情報: loading…