close
1.

図書
図書
1. Types for Proofs and Programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers
Paul Callaghan ... [et al.] (eds.)
出版情報: Berlin ; New York : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2277
所蔵情報: loading…
2.

図書
図書
2. Logic programming : 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001 : proceedings
Philippe Codognet (ed.)
出版情報: New York : Springer, c2001 , Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science / 石谷茂著 ; 2237
所蔵情報: loading…
3.

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

図書
図書
4. Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 : proceedings
Roy Dyckhoff (ed.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1847 . Lecture notes in artificial intelligence
所蔵情報: loading…
5.

図書
図書
5. Types for proofs and programs : International Workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : selected papers
Thierry Coquand ... [et al.] (eds.)
出版情報: Berlin ; New York : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1956
所蔵情報: loading…
6.

図書
図書
6. Types for proofs and programs : International Workshop TYPES '98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers
Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus (eds.)
出版情報: Berlin ; Tokyo : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1657
所蔵情報: loading…
7.

図書
図書
7. Logic for programming and automated reasoning : 6th International Conference, LPAR '99, Tbilisi, Georgia, September 6-10, 1999 : proceedings
Harald Ganzinger, David McAllester, Andrei Voronkov (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1999
シリーズ名: Lecture notes in computer science ; 1705 . 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. Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998 : proceedings
Harrie de Swart (ed.)
出版情報: Berlin ; Tokyo : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1397 . Lecture notes in artificial intelligence
所蔵情報: 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…