| Record ID | marc_loc_2016/BooksAll.2016.part28.utf8:226413025:1430 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part28.utf8:226413025:1430?format=raw |
LEADER: 01430cam a22003134a 4500
001 2001049648
003 DLC
005 20080308090241.0
008 010905s2001 gw a b 101 0 eng
010 $a 2001049648
020 $a3540425985 (acid-free paper)
040 $aDLC$cDLC$dDLC
042 $apcc
050 00 $aQA448.D38$bI577 2000
082 00 $a516/.00285$221
111 2 $aInternational Workshop on Automated Deduction in Geometry$n(3rd :$d2000 :$cZurich, Switzerland)
245 10 $aAutomated deduction in geometry :$bthird international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers /$cJürgen Richter-Gebert, Dongming Wang (eds.).
260 $aBerlin ;$aNew York :$bSpringer,$cc2001.
300 $aviii, 323 p. :$bill. ;$c24 cm.
490 1 $aLecture notes in computer science ;$v2061.$aLecture notes in artificial intelligence
504 $aIncludes bibliographical references and index.
650 0 $aGeometry$xData processing$vCongresses.
650 0 $aAutomatic theorem proving$vCongresses.
650 0 $aLogic, Symbolic and mathematical$vCongresses.
700 1 $aRichter-Gebert, Jürgen,$d1963-
700 1 $aWang, Dongming.
830 0 $aLecture notes in computer science ;$v2061.
830 0 $aLecture notes in computer science.$pLecture notes in artificial intelligence.
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0816/2001049648-d.html