| Record ID | marc_loc_updates/v35.i10.records.utf8:6835567:1404 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_updates/v35.i10.records.utf8:6835567:1404?format=raw |
LEADER: 01404nam a22003257a 4500
001 2005938552
003 DLC
005 20070305172019.0
008 051213s2006 gw a b 101 0 eng d
010 $a 2005938552
020 $a9783540313328 (pbk. : acid-free paper)
020 $a354031332X (pbk. : acid-free paper)
035 $a(CStRLIN)MNUGA004687146-B
040 $aNNC$cNNC$dMnU$dDLC
042 $alccopycat
050 00 $aQA448.D38$bI577 2004
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