Tools

LEADER 02237cam 22005174a 4500

001 ocm47996332;

003 OCoLC;

005 20141212163421.0;

007 cr un---------;

008 010905s2001 gw a b 101 0 eng ;

010 a| 2001049648;

015 a| GBA1-57489;

016 7 a| 9622795952| GyFmDB;

019 a| 48154342;

020 a| 3540425985 (acid-free paper);

035 a| (Sirsi) o47996332;

035 a| (OCoLC)47996332;

042 a| pcc;

049 a| EREE;

050 00 a| QA448.D38b| I577 2000;

072 7 a| QA2| lcco;

082 00 a| 516/.02852| 21;

111 2 a| International Workshop on Automated Deduction in Geometryn| (3rd :d| 2000 :c| Zurich, Switzerland)?| UNAUTHORIZED;

245 10 a| Automated deduction in geometry :b| third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers /c| Jürgen Richter-Gebert, Dongming Wang (eds.).;

300 a| viii, 323 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| computer2| rdamedia;

338 a| online resource2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 2061.a| Lecture notes in artificial intelligence;

504 a| Includes bibliographical references and index.;

530 a| Also available via the World Wide Web.;

650 0 a| Geometryx| Data processingv| Congresses.=| ^A239574;

650 0 a| Automatic theorem provingv| Congresses.=| ^A24746;

650 0 a| Logic, Symbolic and mathematicalv| Congresses.=| ^A39117;

700 1 a| Richter-Gebert, Jürgen,d| 1963-=| ^A385912;

700 1 a| Wang, Dongming.=| ^A403756;

830 0 a| Lecture notes in computer sciencev| 2061.=| ^A466336;

830 0 a| Lecture notes in computer science.p| Lecture notes in artificial intelligence.=| ^A467263;

856 41 u| http://link.springer-ny.com/link/service/series/0558/tocs/t2061.htmz| Restricted to Springer LINK subscribers;

994 a| X0b| ERE;

938 a| Otto Harrassowitzb| HARRn| har010073302c| 87.74 DEM;

596 a| 1;

998 a| 886062;

999 a| QA448.D38 I577 2000w| LCc| 1i| 30372011128342d| 6/26/2013f| 6/26/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 9/12/2002x| BOOKz| JSTACKSo| .STAFF. 0;

Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers / Jürgen Richter-Gebert, Dongming Wang (eds.).

Author/creator	International Workshop on Automated Deduction in Geometry
Other author	Richter-Gebert, Jürgen, 1963-
Other author	Wang, Dongming.
Format	Electronic
Publication Info	Berlin ; New York : Springer, ©2001.
Description	viii, 323 pages : illustrations ; 24 cm.
Supplemental Content	Restricted to Springer LINK subscribers
Subjects	Geometry--Data processing. --Congresses. Automatic theorem proving--Congresses. Logic, Symbolic and mathematical--Congresses.

Series	Lecture notes in computer science ; 2061. Lecture notes in artificial intelligence Lecture notes in computer science 2061. ^A466336 Lecture notes in computer science. Lecture notes in artificial intelligence. ^A467263
Bibliography note	Includes bibliographical references and index.
Other forms	Also available via the World Wide Web.
LCCN	2001049648
ISBN	3540425985 (acid-free paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA448.D38 I577 2000	✔ Available	Place Hold

Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers / Jürgen Richter-Gebert, Dongming Wang (eds.).

Click here for more information about this title

Availability