Interactive theorem proving and program development : Coq'Art: the calculus of inductive constructions

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

フォーマット:

図書

責任表示:

Yves Bertot, Pierre Castèran ; foreword by Gérard Huet and Christine Paulin-Mohring

言語:

英語

出版情報:

Berlin : Springer, c2004

形態:

xxv, 469 p. ; 24 cm

著者名:

シリーズ名:

書誌ID:

BA67149682

ISBN:

9783540208549 [3540208542]

子書誌情報

所蔵情報

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

詳細

資料形態(詳細):	Text
主題:	Automatic theorem proving; Logic, Symbolic and mathematical
注記:	Includes index Includes bibliographical references (p. [453]-457) and indexes
登録日:	2005-03-09
分類・件名:	DC22 : 511.3 LCSH : Automatic theorem proving LCSH : Logic, Symbolic and mathematical

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Symbolic logic and mechanical theorem proving Chang, Chin-Liang, 1937-, Lee, Richard Char-Tung, 1939- Academic Press	7 図書 The efficiency of theorem proving strategies : a comparative and asymptotic analysis Plaisted, David A., Zhu, Yunshan Vieweg
2 図書 First-order logic and automated theorem proving Fitting, Melvin, 1942- Springer-Verlag	8 図書 Mechanical theorem proving in geometries : basic principles Wu, Wen-tsün Springer-Verlag
3 図書 Isabelle : a generic theorem prover Paulson, Lawrence C. Springer-Verlag	9 図書 Theorem proving in higher order logics : 12th International Conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings International Conference on Theorem Proving in Higher Order Logics, Bertot, Yves Springer
4 図書 Mechanical geometry theorem proving Chou, Shang-Ching, 1942- D. Reidel	10 図書 Automated deduction in equational logic and cubic curves McCune, W. (William), Padmanabhan, R. (Ranganathan), 1938- Springer
5 図書 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	11 図書 PX, a computational logic 林, 晋(1953-), 中野, 裕 MIT Press
6 図書 Knowledge based theorem proving and learning Cohen, Donald N. UMI Research Press	12 図書 The computer modelling of mathematical reasoning Bundy, Alan Academic Press