Mechanical theorem proving in geometries : basic principles | 三重大学附属図書館 OPAC

>> Google Books

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

Mechanical theorem proving in geometries : basic principles

フォーマット:: 図書
責任表示:: Wen-tsün Wu ; translated from the Chinese by Xiaofan Jin and Dongming Wang
言語:: 英語
出版情報:: Wien ; New York : Springer-Verlag, c1994
形態:: xiv, 288 p. ; 25 cm
著者名:: Wu, Wen-tsün <DA01383528>
シリーズ名:: Texts and monographs in symbolic computation <BA20803475>
書誌ID:: BA22657986
ISBN:: 9783211825068 [3211825061] (: au)
9780387825069 [0387825061] (: us)

子書誌情報

所蔵情報

Loading availability information

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

詳細

資料形態(詳細):	Text
主題:	Automatic theorem proving; Geometry--Data processing
LCCN:	94001452
注記:	Bibliography: p. [281]-284 Includes index
登録日:	1994-06-29
分類・件名:	LCC : QA448.D38 DDC : 516/.001/5113 LCSH : Geometry -- Data processing LCSH : Automatic theorem proving

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Mechanical geometry theorem proving Chou, Shang-Ching, 1942- D. Reidel	7 図書 First-order logic and automated theorem proving Fitting, Melvin, 1942- Springer-Verlag
2 図書 Symbolic logic and mechanical theorem proving Chang, Chin-Liang, 1937-, Lee, Richard Char-Tung, 1939- Academic Press	8 図書 Rational homotopy type : a constructive study via the theory of the I[]-measure* Wu, Wen-tsün Springer-Verlag
3 図書 Isabelle : a generic theorem prover Paulson, Lawrence C. Springer-Verlag	9 図書 Interactive theorem proving and program development : Coq'Art: the calculus of inductive constructions Bertot, Yves, Castéran, P. (Pierre) Springer
4 図書 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	10 図書 Proceedings of the 1980 Beijing Symposium on Differential Geometry and Differential Equations = [1980 nien "shuang wei" Pei-ching tʿao lun hui wen chi] Symposium on Differential Geometry and Differential Equations, Chern, Shiing-Shen, 1911-2004, Wu, Wen-tsün Science Press, Gordon and Breach, Science Publishers
5 図書 Knowledge based theorem proving and learning Cohen, Donald N. UMI Research Press	11 図書 Geometry and meaning Widdows, Dominic, Kanerva, Pentti CSLI Publications
6 図書 The efficiency of theorem proving strategies : a comparative and asymptotic analysis Plaisted, David A., Zhu, Yunshan Vieweg	12 図書 Microcomputers in geometry Oldknow, A. J. (Adrian James), 1946- Ellis Horwood, Halsted Press