| Record ID | marc_loc_2016/BooksAll.2016.part23.utf8:119119155:911 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part23.utf8:119119155:911?format=raw |
LEADER: 00911pam a2200253 a 4500
001 94005809
003 DLC
005 19940812104003.1
008 940208s1994 si a b 001 0 eng
010 $a 94005809
020 $a9810215843
040 $aDLC$cDLC$dDLC
050 00 $aQA481$b.C48 1994
082 00 $a516/.00285/51$220
100 1 $aChou, Shang-Ching,$d1946-
245 10 $aMachine proofs in geometry :$bautomated production of readable proofs for geometry theorems /$cShang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang.
260 $aSingapore ;$aNew Jersey :$bWorld Scientific,$cc1994.
300 $axvii, 461 p. :$bill. ;$c23 cm.
440 0 $aSeries on applied mathematics ;$vv. 6
504 $aIncludes bibliographical references (p. 445-454) and index.
650 0 $aAxioms$xData processing.
650 0 $aAutomatic theorem proving.
700 10 $aGao, Xiao-shan.
700 10 $aChang, Ching-chung,$d1936-