close
1.

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

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

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

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

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

図書
図書
6. Theorem proving in higher order logics : 11th International Conference, TPHOLs '98, Canberra, Australia, September 27- October 1, 1998 : proceedings
Jim Grundy, Malcolm Newey (eds.)
出版情報: Berlin ; Tokyo : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1479
所蔵情報: loading…
7.

図書
図書
7. Types for proofs and programs : International Workshop TYPES '96, Aussois, France, December 15-19, 1996 : selected papers
Eduardo Giménez, Christine Paulin-Mohring (eds.)
出版情報: Berlin ; Tokyo : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1512
所蔵情報: loading…
8.

図書
図書
8. Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997 : proceedings (: kart)
Didier Galmiche (ed.)
出版情報: Berlin ; Heidelberg : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1227 . Lecture notes in artificial intelligence
所蔵情報: loading…
9.

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

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

図書
図書
11. Theorem proving in higher order logics : 10th International Conference, TPHOLsʾ97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings
Elsa L. Gunter, Amy Felty (eds.)
出版情報: Berlin ; Heidelberg : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1275
所蔵情報: loading…
12.

図書
図書
12. Computational logic and proof theory : 5th Kurt Gödel Colloquim, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings (: pbk)
Georg Gottlob, Alexander Leitsch, Daniele Mundici, (eds.)
出版情報: Berlin ; Tokyo : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1289
所蔵情報: loading…
13.

図書
図書
13. Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996 : proceedings
Dov M. Gabbay, Hans Jürgen Ohlbach, (eds.)
出版情報: Berlin : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1085 . Lecture notes in artificial intelligence
所蔵情報: loading…
14.

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

図書
図書
15. Theorem proving in higher order logics : 9th International Conference, TPHOLsʾ96, Turku, Finland, August 26-30, 1996 : proceedings
J. von Wright, J. Grundy, J. Harrison, (eds.)
出版情報: Berlin ; Tokyo : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1125
所蔵情報: loading…
16.

図書
図書
16. Design and implementation of symbolic computation systems : International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings
Jacques Calmet, Carla Limongelli (eds.)
出版情報: Berlin : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1128
所蔵情報: loading…
17.

図書
図書
17. Types for proofs and programs : International Workshop TYPES '95, Torino, Italy, June 5-8, 1995 : selected papers
Stefano Berardi, Mario Coppo, (eds.)
出版情報: Berlin ; New York : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1158
所蔵情報: loading…
18.

図書
図書
18. Types for proofs and programs : International Workshop TYPES '94, Båstad, Sweden, June 6-10, 1994 : selected papers (: gw)
Peter Dybjer, Bengt Nordström, Jan Smith (eds.)
出版情報: Berlin : Springer-Verlag, c1995
シリーズ名: Lecture notes in computer science ; 996
所蔵情報: loading…
19.

図書
図書
19. Theorem provers in circuit design : theory, practice and experience : Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings
Ramayya Kumar, Thomas Kropf (eds.)
出版情報: Berlin : Springer, c1995
シリーズ名: Lecture notes in computer science ; 901
所蔵情報: loading…
20.

図書
図書
20. Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings (: gw ; : us)
Jeffrey J. Joyce, Carl-Johan H. Seger [editors]
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 780
所蔵情報: loading…
21.

図書
図書
21. Types for proofs and programs : International Workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers (: gw ; : us)
Henk Barendregt, Tobias Nipkow, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 806
所蔵情報: loading…
22.

図書
図書
22. Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings (: us ; : gw)
Alan Bundy (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 814 . Lecture notes in artificial intelligence
所蔵情報: loading…
23.

図書
図書
23. Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings (: gw ; : us)
Frank Pfenning (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 822 . Lecture notes in artificial intelligence
所蔵情報: loading…
24.

図書
図書
24. Higher order logic theorem proving and its applications : 7th International Workshop, Valletta, Malta, September 19-22, 1994 : proceedings (: gw ; : us)
Thomas F. Melham, Juanito Camilleri, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 859
所蔵情報: loading…
25.

図書
図書
25. Geometric reasoning for perception and action : Workshop, Grenoble, France, September 16-17, 1991 : selected papers (: gw ; : us)
Christian Laugier (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 708
所蔵情報: loading…
26.

図書
図書
26. Logic programming and automated reasoning : 4th International Conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings (: gw ; : us)
Andrei Voronkov (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 698 . Lecture notes in artificial intelligence
所蔵情報: loading…
27.

図書
図書
27. Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993 : proceedings (: us ; : gw)
Georg Gottlob, Alexander Leitsch, Daniele Mundici, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 713
所蔵情報: loading…
28.

図書
図書
28. Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92
organized by CHEOPS ESPRIT BRA 3215 ; sponsored by IMEC and the Commission of the European Communities, Leuven, Belgium, 21-24 September 1992 ; edited by Luc J.M. Claesen, Michael J.C. Gordon
出版情報: Amsterdam ; New York : North-Holland, 1993
シリーズ名: IFIP transactions ; A . Computer science and technology ; 20
所蔵情報: loading…
29.

図書
図書
29. Automated reasoning : proceedings of the IFIP TC 12/WG 12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992
edited by Z. Shi
出版情報: Amsterdam ; New York : North-Holland, 1992
シリーズ名: IFIP transactions ; A . Computer science and technology ; 19
所蔵情報: loading…
30.

図書
図書
30. Automated deduction, CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings (: gw ; : us)
D. Kapur (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1992
シリーズ名: Lecture notes in computer science ; 607 . Lecture notes in artificial intelligence
所蔵情報: loading…
31.

図書
図書
31. Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings (: gw ; : us)
A. Voronkov, ed
出版情報: Berlin ; New York : Springer-Verlag, c1992
シリーズ名: Lecture notes in computer science ; 624 . Lecture notes in artificial intelligence
所蔵情報: loading…
32.

図書
図書
32. 10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990, proceedings (: gw ; : us)
M.E. Stickel (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990
シリーズ名: Lecture notes in computer science ; 449 . Lecture notes in artificial intelligence
所蔵情報: loading…
33.

図書
図書
33. Computational logic : symposium proceedings, Brussels, November 13/14, 1990 (: gw ; : us)
John W. Lloyd (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1990
シリーズ名: ESPRIT basic research series
所蔵情報: loading…