| Record ID | marc_columbia/Columbia-extract-20221130-012.mrc:41401732:1597 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-012.mrc:41401732:1597?format=raw |
LEADER: 01597cam a2200313 a 4500
001 5549328
005 20221121182622.0
008 060203s2006 gw a b 100 0 eng d
020 $a354031332X (pbk.)
035 $a(OCoLC)ocm63514355
035 $a(NNC)5549328
035 $a5549328
040 $aNNC$cNNC
050 4 $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 30 $aADG 2004
260 $aBerlin ;$aNew York :$bSpringer,$c2006.
300 $ax, 211 pages :$billustrations ;$c24 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
490 1 $aLecture notes in computer science ;$v3763
490 1 $aLecture notes in computer science. Lecture notes in artificial intelligence
650 0 $aGeometry$xData processing$vCongresses.$0http://id.loc.gov/authorities/subjects/sh2008105183
650 0 $aAutomatic theorem proving$vCongresses.$0http://id.loc.gov/authorities/subjects/sh2007101477
650 0 $aLogic, Symbolic and mathematical$vCongresses.$0http://id.loc.gov/authorities/subjects/sh2008107112
830 0 $aLecture notes in computer science ;$v3763.$0http://id.loc.gov/authorities/names/n42015162
830 0 $aLecture notes in computer science.$pLecture notes in artificial intelligence.$0http://id.loc.gov/authorities/names/n86736436
852 00 $boff,eng$hQA448.D38$iI577 2004g