上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(標準分類: QA76.9.A96)
該当件数:43件
Mathematics mechanization and applications / edited by Xiao-shan Gao and Dongming Wang
San Diego : Academic Press , c2000
図書 <1001225171>
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)
図書 <1001167767>
Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-22, 2001 : proceedings / Rajeev Goré, Alexander Leitsch, Tobias Nipkow (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2083 . Lecture notes in artificial intelligence)
図書 <1001283594>
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)
図書 <1001363931>
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)
図書 <1001158939>
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)
図書 <1001067115>
Fundamentals of computation theory : 11th International Symposium, FCTʾ97, Kraków, Poland, September 1-3, 1997 : proceedings / Bogdan S. Chlebus, Ludwik Czaja (eds.)
Berlin ; Heidelberg : Springer , c1997. - (Lecture notes in computer science ; 1279)
図書 <1000708955>
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)
図書 <1000541399>
Theorem proving in higher order logics : 9th International Conference, TPHOLsʾ96, Turku, Finland, August 26-30, 1996 : proceedings / J. von Wright ... [et al.] (eds.)
Berlin : Springer , c1996. - (Lecture notes in computer science ; 1125)
図書 <1000542130>
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)
図書 <1001224322>
First-order logic and automated theorem proving / Melvin Fitting
: us,: gw. - New York : Springer-Verlag , c1990. - (Texts and monographs in computer science)
図書 <1001371178>
Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings / Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk (eds.)
Berlin ; Tokyo : Springer , c2001. - (Lecture notes in computer science ; 2183)
図書 <1001337075>
Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings / Jeffrey J. Joyce, Carl-Johan H. Seger [editors]
: gw,: us. - Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 780)
図書 <1000499561>
Types for proofs and programs : International Workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers / Henk Barendregt, Tobias Nipkow, (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1994. - (Lecture notes in computer science ; 806)
図書 <1000499770>
Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings / Alan Bundy (ed.)
: us,: gw. - Berlin ; Tokyo : Springer-Verlag , c1994. - (Lecture notes in computer science ; 814 . Lecture notes in artificial intelligence)
図書 <1000499786>
Higher order logic theorem proving and its applications : 7th International Workshop, Valletta, Malta, September 19-22, 1994 : proceedings / Thomas F. Melham, Juanito Camilleri, (eds.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 859)
図書 <1000505273>
Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings / Niel V. Murray (ed.)
Berlin ; New York : Springer , c1999. - (Lecture notes in computer science ; 1617 . Lecture notes in artificial intelligence)
図書 <1001063852>
Automated deduction--CADE-16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings / Harald Ganzinger (ed.)
Berlin ; New York : Springer , c1999. - (Lecture notes in computer science ; 1632 . Lecture notes in artificial intelligence)
図書 <1001063871>
Automated deduction, CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings / D. Kapur (ed.)
: Berlin,: New York. - Berlin ; Tokyo : Springer-Verlag , c1992. - (Lecture notes in computer science ; 607 . Lecture notes in artificial intelligence)
図書 <1000449524>
10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990, proceedings / M.E. Stickel (ed.)
gw,: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990. - (Lecture notes in computer science ; 449 . Lecture notes in artificial intelligence)
図書 <1000383675>