Symbolic logic and mechanical theorem proving

タイトル、所在を表示します

フォーマット:

図書

責任表示:

Chin-Liang Chang, Richard Char-Tung Lee

言語:

英語

出版情報:

New York : Academic Press, c1973

形態:

xiii, 331 p. ; 24 cm

著者名:

シリーズ名:

Computer science and applied mathematics <BA00104316>

書誌ID:

BA01082514

ISBN:

9780121703509 [0121703509]

子書誌情報

所蔵情報

タイトルが類似している資料

詳細

資料形態(詳細):	Text
主題:	Artificial intelligence; Automatic theorem proving; Logic, Symbolic and mathematical
LCCN:	72088358
注記:	Bibliography: p. 309-324 Includes index
登録日:	2016-05-09
分類・件名:	LCC : QA9 DDC : 511/.3 LCSH : Logic, Symbolic and mathematical LCSH : Automatic theorem proving LCSH : Artificial intelligence

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 First-order logic and automated theorem proving Fitting, Melvin, 1942- Springer-Verlag	7 図書 Automated deduction in equational logic and cubic curves McCune, W. (William), Padmanabhan, R. (Ranganathan), 1938- Springer
2 図書 Interactive theorem proving and program development : Coq'Art: the calculus of inductive constructions Bertot, Yves, Castéran, P. (Pierre) Springer	8 図書 Isabelle : a generic theorem prover Paulson, Lawrence C. Springer-Verlag
3 図書 Mechanical geometry theorem proving Chou, Shang-Ching, 1942- D. Reidel	9 図書 Logic : a foundation for computer science Sperschneider, V, Antoniou, G. (Grigorios) Addison-Wesley
4 図書 Mechanical theorem proving in geometries : basic principles Wu, Wen-tsün Springer-Verlag	10 図書 Automated theorem proving : a logical basis Loveland, Donald W., 1934- North-Holland Pub. Co, Sole distributor for the U.S.A. and Canada, Elsevier North-Holland
5 図書 PX, a computational logic 林, 晋(1953-), 中野, 裕 MIT Press	11 図書 Knowledge based theorem proving and learning Cohen, Donald N. UMI Research Press
6 図書 A computational logic handbook Boyer, Robert S., Moore, J. Strother, 1947- Academic Press	12 図書 The efficiency of theorem proving strategies : a comparative and asymptotic analysis Plaisted, David A., Zhu, Yunshan Vieweg