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. 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…
3.

図書
図書
3. 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…
4.

図書
図書
4. 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…
5.

図書
図書
5. 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…
6.

図書
図書
6. 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…
7.

図書
図書
7. 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…
8.

図書
図書
8. Theorem proving in higher order logics : 12th International Conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings
Yves Bertot ... [et al.] (eds.)
出版情報: Berlin : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1690
所蔵情報: loading…
9.

図書
図書
9. Computer science logic : 11th International Workshop, CSL '97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers
Mogens Nielsen, Wolfgang Thomas (eds.)
出版情報: Berlin ; Tokyo : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1414
所蔵情報: loading…
10.

図書
図書
10. Automated deduction - CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings (: pbk)
Claude Kirchner, Hélène Kirchner (eds.)
出版情報: Berlin : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1421 . Lecture notes in artificial intelligence
所蔵情報: loading…