| Record ID | marc_loc_2016/BooksAll.2016.part33.utf8:89984060:1527 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part33.utf8:89984060:1527?format=raw |
LEADER: 01527cam a22003497a 4500
001 2005938552
003 DLC
005 20080403082243.0
008 051213s2006 gw a b 101 0 eng d
010 $a 2005938552
020 $a9783540313328 (pbk. : alk. paper)
020 $a354031332X (pbk. : alk. paper)
035 $a(CStRLIN)MNUGA004687146-B
040 $aNNC$cNNC$dMnU$dDLC
042 $alccopycat
050 00 $aQA448.D38$bI577 2004
082 00 $a516.00285$222
111 2 $aInternational Workshop on Automated Deduction in Geometry$n(5th :$d2004 :$cGainesville, Fla.)
245 10 $aAutomated deduction in geometry :$b5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers /$cHoon Hong, Dongming Wang (eds.).
246 10 $aADG 2004
260 $aBerlin ;$aNew York :$bSpringer,$cc2006.
300 $ax, 211 p. :$bill. ;$c24 cm.
490 0 $aLecture notes in computer science,$x0302-9742 ;$v3763.$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 $aHong, Hoon.
700 1 $aWang, Dongming.
830 0 $aLecture notes in computer science$v3763.
830 0 $aLecture notes in computer science.$pLecture notes in artificial intelligence
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0663/2005938552-d.html