Record ID | marc_records_scriblio_net/part24.dat:41014685:1112 |
Source | Scriblio |
Download Link | /show-records/marc_records_scriblio_net/part24.dat:41014685:1112?format=raw |
LEADER: 01112cam 2200265 a 4500
001 94001452
003 DLC
005 19980428125742.3
008 940201s1994 au a b 001 0 eng
010 $a 94001452
020 $a3211825061 (Wien : acid-free paper)
020 $a0387825061 (New York : acid-free paper)
040 $aDLC$cDLC$dDLC
041 1 $aeng$hchi
050 00 $aQA448.D38$bW8 1994
082 00 $a516/.001/5113$220
100 1 $aWu, Wen-tsün.
245 10 $aMechanical theorem proving in geometries :$bbasic principles /$cWen-tsün Wu ; translated from the Chinese by Xiaofan Jin and Dongming Wang.
260 $aWien ;$aNew York :$bSpringer-Verlag,$cc1994.
300 $axiv, 288 p. :$bill. ;$c25 cm.
440 0 $aTexts and monographs in symbolic computation,$x0943-853X
500 $a"Originally published as 'Basic principles of mechanical theorem proving in geometries' in Chinese language by Science Press, Beijing, 1984"--T.p. verso.
504 $aIncludes bibliographical references (p. [281]-284) and index.
650 0 $aGeometry$xData processing.
650 0 $aAutomatic theorem proving.