東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(件名: #Automatic theorem proving)
該当件数:80件
Classical papers on computational logic
1957-1966,1967-1970. - Berlin ; New York : Springer-Verlag , 1983. - (Symbolic computation ; . Automation of reasoning / edited by Jörg Siekmann and Graham Wrightson ; 1-2)
図書
Theory reasoning in connection calculi / Peter Baumgartner
Berlin : Springer Berlin Heidelberg , c1998. - New York. - (Lecture notes in computer science ; 1527 .). - (Lecture notes in computer science ; 527 .)
The automation of reasoning with incomplete information : from semantic foundations to efficient computation / Torsten Schaub
Berlin : Springer , c1997. - New York. - (Lecture notes in computer science ; 1409 . Lecture notes in artificial intelligence)
Automated reasoning and its applications : essays in honor of Larry Wos / edited by Robert Veroff with Gail W. Pieper
Cambridge, Mass. : The MIT Press , 1997
Instantiation theory : on the foundations of automated deduction / J.G. Williams
Berlin : Springer-Verlag , c1991. - New York. - (Lecture notes in computer science ; 518 . Lecture notes in artificial intelligence)
Berlin : Springer , c1998. - (Lecture notes in computer science ; 1527 . Lecture Notes in artificial intelligence)
First-order logic and automated theorem proving / Melvin Fitting
New York : Springer-Verlag , c1990. - (Texts and monographs in computer science)
Logic for computer science : foundations of automatic theorem proving / Jean H. Gallier
New York : J. Wiley , c1987
Theorem proving in higher order logics : 13th International Conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000 : proceedings / Mark Aagaard, John Harrison (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1869)
Theorem proving in higher order logics : 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings / Boulton, Richard J., Paul B. Jackson (eds)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2152)
Rippling : meta-level guidance for mathematical reasoning / Alan Bundy ... [et al.]
New York : Cambridge Univ. Pr. , 2005. - (Cambridge tracts in theoretical computer science ; 56)
Compositionality, concurrency and partial correctness : proof theories for networks of processes, and their relationship / J. Zwiers
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989. - (Lecture notes in computer science ; 321)
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 : Springer , c1998. - Tokyo. - (Lecture notes in computer science ; 1512)
Types for proofs and programs : International Workshop TYPES '95, Torino, Italy, June 5-8, 1995 : selected papers / Stefano Berardi, Mario Coppo, (eds.)
Berlin : Springer , c1996. - New York. - (Lecture notes in computer science ; 1158)
Higher order logic theorem proving and its applications : 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings / E. Thomas Schubert, Phillip J. Windley, James Alves-Foss (eds.)
Berlin : Springer-Verlag , c1995. - New York. - Tokyo. - (Lecture notes in computer science ; 971)
Higher order logic theorem proving and its applications : 7th International Workshop, Valletta, Malta, September 19-22, 1994 : proceedings / Thomas F. Melham, Juanito Camilleri, (eds.)
Berlin : Springer-Verlag , c1994. - New York. - (Lecture notes in computer science ; 859)
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]
Berlin : Springer-Verlag , c1994. - New York. - (Lecture notes in computer science ; 780)
Isabelle : a generic theorem prover / Lawrence C. Paulson ; with contributions by Tobias Nipkow
Berlin : Springer-Verlag , c1994. - Tokyo. - (Lecture notes in computer science ; 828)
Automated theorem proving : after 25 years / W. W. Bledsoe and D. W. Loveland, editors
Providence, R.I. : American Mathematical Society , c1984. - (Contemporary mathematics ; v. 29)
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)
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)
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)
Using sophisticated models in resolution theorem proving / David M. Sandford
: gw,: us. - Berlin ; New York : Springer-Verlag , 1980. - (Lecture notes in computer science ; 90)
Automated deduction in equational logic and cubic curves / W. McCune, R. Padmanabhan
Berlin : Springer , c1996. - (Lecture notes in computer science ; 1095 . Lecture notes in artificial intelligence)
Efficient checking of polynomials and proofs and the hardness of approximation problems / Madhu Sudan
Berlin : Springer Verlag , c1995. - New York. - (Lecture notes in computer science ; 1001)
Lectures on proof verification and approximation algorithms / Ernst W. Mayr, Hans Jürgen Prömel, Angelika Steger (eds.)
Berlin : Springer , c1998. - Tokyo. - (Lecture notes in computer science ; 1367)
Metamathematics, machines, and Gödel's proof / N. Shankar
Cambridge : Cambridge University Press , 1994. - (Cambridge tracts in theoretical computer science ; 38)
Berlin : Springer , c1996. - Tokyo. - (Lecture notes in computer science ; 1095 . Lecture notes in artificial intelligence)
Logic programming : 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29-August 1, 2002 : proceedings / Peter J. Stuckey (ed.)
Berlin : Springer , c2002. - (Lecture notes in computer science ; 2401)
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)
9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings / E. Lusk, R. Overbeek (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988. - (Lecture notes in computer science ; 310)
7th International Conference on Automated Deduction : Napa, California, USA, May 14-16, 1984 : proceedings / edited by R.E. Shostak
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1984. - (Lecture notes in computer science ; 170)
5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 / edited by W. Bibel and R. Kowalski
: gw,: us. - Berlin ; New York : Springer-Verlag , 1980. - (Lecture notes in computer science ; 87)
Mathematics mechanization : mechanical geometry theorem-proving, mechanical geometry problem-solving, and polynomial equations-solving / by Wu Wen-tsun
: Science Press,: Kluwer. - Dordrecht : Kluwer Academic Publishers. - Beijing : Science Press , c2000. - (Mathematics and its applications ; v. 489)
Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 2, 1997 : proceedings / Jim Grundy, Malcolm Newey, eds
Berlin : Springer , c1998. - New York. - (Lecture notes in computer science. ISSN:0302-9743 ; 11479)
Compositionality : the significant difference : international symposium, COMPOS '97, Bad Malente, Germany, September 8-12, 1997 : revised lectures / Willem-Paul de Roever, Hans Langmaack, Amir Pnueli (eds.)
Berlin : Springer , c1998. - New York. - (Lecture notes in computer science ; 1536)
Automated deduction, CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings / William McCune (ed.)
Berlin : Springer , c1997. - New York. - (Lecture notes in computer science ; 1249 . Lecture notes in artificial intelligence)
Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings / Georg Gottlob, Alexander Leitsch, Daniele Mundici, eds
Berlin : Springer , c1997. - Tokyo. - (Lecture notes in computer science ; 1289)
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 : Springer , c1996. - New York. - (Lecture notes in computer science ; 1104 . Lecture notes in artificial intelligence)
Term indexing / Peter Graf
Berlin : Springer , c1995. - New York. - (Lecture notes in computer science ; 1053 . Lecture notes in artificial intelligence)
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 : Springer , c1998. - Tokyo. - (Lecture notes in computer science ; 1397 . Lecture notes in artificial intelligence)
Automated deduction - CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings / Claude Kirchner, Hélène Kirchner (eds.)
Berlin : Springer , c1998. - (Lecture notes in computer science ; 1421 . Lecture notes in artificial intelligence)
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 : Springer-Verlag , c1999. - New York. - (Lecture notes in computer science ; 1705 . Lecture notes in artificial intelligence)
Automated deduction, CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings / D. Kapur (ed.)
Berlin : Springer-Verlag , c1992. - Tokyo. - (Lecture notes in computer science ; 607 . Lecture notes in artificial intelligence)
Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings / A. Voronkov, ed
Berlin : Springer-Verlag , c1992. - New York. - (Lecture notes in computer science ; 624 . Lecture notes in artificial intelligence)
Types for proofs and programs : International Workshop TYPES '94, Båstad, Sweden, June 6-10, 1994 : selected papers / Peter Dybjer, Bengt Nordström, Jan Smith (eds.)
Berlin : Springer-Verlag , c1995. - (Lecture notes in computer science ; 996)
Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings / Alan Bundy (ed.)
Berlin : Springer-Verlag , c1994. - Tokyo. - (Lecture notes in computer science ; 814 . Lecture notes in artificial intelligence)
Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings / Frank Pfenning (ed.)
Berlin : Springer-Verlag , c1994. - New York. - (Lecture notes in computer science ; 822 . Lecture notes in artificial intelligence)
Logic programming and automated reasoning : 4th International Conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings / Andrei Voronkov (ed.)
Berlin : Springer-Verlag , c1993. - New York. - (Lecture notes in computer science ; 698 . Lecture notes in artificial intelligence)
Types for proofs and programs : International Workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers / Henk Barendregt, Tobias Nipkow, (eds.)
Berlin : Springer-Verlag , c1994. - Tokyo. - (Lecture notes in computer science ; 806)