学内で所蔵している図書や雑誌(電子ブック、電子ジャーナル等含む)を検索します。
全国の大学図書館等が所蔵する図書や雑誌を検索できます。
日本の学術論文情報を検索できます。
国立国会図書館オンライン、国立国会図書館デジタルコレクション、青空文庫を検索します。
メッセージID:0209 検索結果の書名をクリックするとさらに詳しい情報が見られる詳細画面に移ります。予約やILLは詳細画面で出来ます。
検索キーワード:(件名: #Automatic theorem proving)
該当件数:75件
Theorem proving with the real numbers / John Harrison
London ; New York : Springer , c1998. - (Distinguished dissertations)
書誌ID=2000779102 NCID=BA39088116
Instantiation theory : on the foundations of automated deduction / J.G. Williams
: gw,: us. - Berlin ; New York : Springer-Verlag , c1991. - (Lecture notes in computer science ; 518 . Lecture notes in artificial intelligence)
書誌ID=2000446265 NCID=BA1276137X
Mechanical geometry theorem proving / Shang-Ching Chou
Dordrecht ; Tokyo : D. Reidel , c1988. - (Mathematics and its applications)
書誌ID=2000141576 NCID=BA01547866
Automated theorem proving / Wolfgang Bibel
2nd, rev. ed. - Braunschweig : F. Vieweg , 1987. - (Artificial intelligence = Künstliche Intelligenz)
書誌ID=2000344448 NCID=BA00791737
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)
書誌ID=2001064654 NCID=BA18842168
Braunschweig : F. Vieweg , 1982
書誌ID=2000268269 NCID=BA03082763
A computational logic / Robert S. Boyer and J. Strother Moore
New York : Academic Press , c1979. - (ACM monograph series)
書誌ID=2000268424 NCID=BA03091640
Automated theorem proving : a logical basis / Donald W. Loveland
Amsterdam ; New York : North-Holland Pub. Co. - New York : Sole distributor for the U.S.A. and Canada, Elsevier North-Holland , 1978. - (Fundamental studies in computer science ; 6)
書誌ID=2000268012 NCID=BA07295835
Handbook of tableau methods / edited by Marcello D'Agostino ... [et al.]
Dordrecht : Kluwer Academic , c2010
書誌ID=2001586762 NCID=BB13288671
Theorem proving in higher order logics : 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings / Victor A. Carreño, César A. Muñoz, Sofiène Tahar (eds.)
Berlin : Springer , c2002. - (Lecture notes in computer science ; 2410)
書誌ID=2001041201 NCID=BA58325875
Dordrecht : Kluwer , 1999
書誌ID=2000792976 NCID=BA41470009
Proof theory and automated deduction / by Jean Goubault-Larrecq and Ian Mackie
Dordrecht : Kluwer Academic , c1997. - (Applied logic series ; v. 6)
書誌ID=2000682076 NCID=BA3092653X
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)
書誌ID=2000799926 NCID=BA31798311
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)
書誌ID=2000711095 NCID=BA28616493
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)
書誌ID=2000709163 NCID=BA28159110
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.)
: gw. - Berlin ; New York ; Tokyo : Springer-Verlag , c1995. - (Lecture notes in computer science ; 971)
書誌ID=2000708298 NCID=BA25803428
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)
書誌ID=2000549083 NCID=BA2267859X
Isabelle : a generic theorem prover / Lawrence C. Paulson ; with contributions by Tobias Nipkow
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1994. - (Lecture notes in computer science ; 828)
書誌ID=2000564363 NCID=BA23201242
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)
書誌ID=2000708877 NCID=BA23471269
Automated deduction in multiple-valued logics / Reiner Hähnle
Oxford [England] : Clarendon Press. - New York : Oxford University Press , 1993. - (International series of monographs on computer science ; 10)
書誌ID=2000645725 NCID=BA22557198