東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(標準分類: QA76.9.A96)
該当件数:53件
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)
図書
Rippling : meta-level guidance for mathematical reasoning / Alan Bundy ... [et al.]
New York : Cambridge Univ. Pr. , 2005. - (Cambridge tracts in theoretical computer science ; 56)
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 .)
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)
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)
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)
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)
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 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)
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
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 : Springer , c1999. - New York. - (Lecture notes in computer science ; 1617 . Lecture notes in artificial intelligence)
Automated deduction--CADE-16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings / Harald Ganzinger (ed.)
Berlin : Springer , c1999. - New York. - (Lecture notes in computer science ; 1632 . Lecture notes in artificial intelligence)
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)
Berlin : Springer , c1998. - (Lecture notes in computer science ; 1527 . Lecture Notes in artificial intelligence)
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)
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
Types for proofs and programs : International Workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : selected papers / Thierry Coquand ... [et al.] (eds.)
Berlin : Springer , c2000. - New York. - (Lecture notes in computer science ; 1956)
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)
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)
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)
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)
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)
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)
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)
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)
Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993 : proceedings / Georg Gottlob, Alexander Leitsch, Daniele Mundici, (eds.)
Berlin : Springer-Verlag , c1993. - New York. - (Lecture notes in computer science ; 713)
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 deduction, CADE-16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings / Harald Ganzinger (ed.)
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)
Using sophisticated models in resolution theorem proving / David M. Sandford
: gw,: us. - Berlin ; New York : Springer-Verlag , 1980. - (Lecture notes in computer science ; 90)
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)
Advanced topics in bisimulation and coinduction / edited by Davide Sangiorgi, Jan Rutten
Cambridge : Cambridge University Press , 2012. - (Cambridge tracts in theoretical computer science ; 52)
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 : 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)
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)
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)
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)
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)
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)
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)
8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings / edited by Jörg H. Siekmann
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986. - (Lecture notes in computer science ; 230)