1 option
Mechanical geometry theorem proving / Shang-Ching Chou.
Math/Physics/Astronomy Library QA76.9.A96 C48 1988
Available
- Format:
- Book
- Author/Creator:
- Chou, Shang-Ching, 1942-
- Series:
- Mathematics and its applications (D. Reidel Publishing Company)
- Mathematics and its applications
- Language:
- English
- Subjects (All):
- Automatic theorem proving.
- Physical Description:
- xii, 362 pages : illustrations ; 25 cm.
- Place of Publication:
- Dordrecht ; Boston : D. Reidel Pub. Co. ; Norwell, MA, U.S.A. : Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers, [1988]
- Notes:
- Includes indexes.
- Bibliography: page 192.
- ISBN:
- 9027726507
- OCLC:
- 16984841
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.