小樽商科大学の蔵書を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
CiNii Dissertationsを検索します。
NDLサーチを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #Automatic theorem proving)
該当件数:11件
Automated theorem-proving in non-classical logics / Paul B. Thistlewaite, Michael A. McRobbie and Robert K. Meyer
: Pitman,: Wiley. - London : Pitman. - New York : Wiley , 1988. - (Research notes in theoretical computer science)
図書
From logic design to logic programming : theorem proving techniques and P-functions / Dominique Snyers, André Thayse
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987. - (Lecture notes in computer science ; 271)
Automated reasoning : introduction and applications / Larry Wos ... [et al.]
: pbk. - Englewood Cliffs, N.J. : Prentice-Hall , c1984
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)
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)
The computer modelling of mathematical reasoning / Alan Bundy
: pbk. - London ; New York : Academic Press , 1983
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)
Using sophisticated models in resolution theorem proving / David M. Sandford
: gw,: us. - Berlin ; New York : Springer-Verlag , 1980. - (Lecture notes in computer science ; 90)
A computational logic / Robert S. Boyer and J. Strother Moore
New York : Academic Press , c1979. - (ACM monograph series)
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)
Symbolic logic and mechanical theorem proving / [by] Chin-liang Chang [and] Richard Char-Tung Lee
New York : Academic Press , [1973]. - (Computer science and applied mathematics)