1.

図書
図書
1. Discrete mathematics and theoretical computer science : 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003 : proceedings
Cristian S. Calude, Michael J. Dinneen, Vincent Vajnovszki (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2731
所蔵情報: loading…
2.

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

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

図書
図書
4. Automated deduction, CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings
William McCune (ed.)
出版情報: Berlin ; New York : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1249 . Lecture notes in artificial intelligence
所蔵情報: loading…
5.

図書
図書
5. Principles of data mining and knowledge discovery : First European Symposium, PKDD '97, Trondheim, Norway, June 24-27, 1997 : proceedings
Jan Komorowski, Jan Zytkow (eds.)
出版情報: Berlin ; Tokyo : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1263 . Lecture notes in artificial intelligence
所蔵情報: loading…
6.

図書
図書
6. Logic and random structures : DIMACS workshop, November 5-7, 1995
Ravi B. Boppana, James F. Lynch, editors
出版情報: Providence, RI : American Mathematical Society, c1997
シリーズ名: DIMACS series in discrete mathematics and theoretical computer science ; v. 33
所蔵情報: loading…
7.

図書
図書
7. Computer science logic : 9th International Workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers
Hans Kleine Büning, (ed.)
出版情報: Berlin ; Tokyo : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1092
所蔵情報: loading…
8.

図書
図書
8. Automated deduction -- CADE-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings
M.A. McRobbie, J.K. Slaney, (eds.)
出版情報: Berlin ; New York : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1104 . Lecture notes in artificial intelligence
所蔵情報: loading…
9.

図書
図書
9. Logic and computational complexity : International Workshop LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers
Daniel Leivant (ed.)
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1995
シリーズ名: Lecture notes in computer science ; 960
所蔵情報: loading…
10.

図書
図書
10. Computer science logic : 8th Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers (: gw ; : us)
Leszek Pacholski, Jerzy Tiuryn (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1995
シリーズ名: Lecture notes in computer science ; 933
所蔵情報: loading…