Tools

LEADER 02423cam 2200565Ia 4500

001 ocm63514355;

003 OCoLC;

005 20141211185436.0;

008 060203s2006 gw a 101 0 eng d;

010 a| 2005938552;

015 a| GBA6285592| bnb;

016 7 a| 9778435562| GyFmDB;

016 7 a| 0134116072| Uk;

020 a| 354031332X (pbk.);

020 a| 9783540313328;

029 0 a| OHXb| har060009490;

035 a| (Sirsi) o63514355;

035 a| (OCoLC)63514355;

049 a| EREE;

050 4 a| QA448.D38b| I577 2004;

072 7 a| QA2| lcco;

082 04 a| 516.02852| 22;

111 2 a| International Workshop on Automated Deduction in Geometryn| (5th :d| 2004 :c| Gainesville, Fla.)?| UNAUTHORIZED;

245 10 a| Automated deduction in geometry :b| 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 ; revised papers /c| Hoon Hong, Dongming Wang (eds.).;

246 30 a| ADG 2004;

260 a| Berlin ;a| New York :b| Springer,c| 2006.;

300 a| x, 211 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science,x| 0302-9743 ;v| 3763.a| Lecture notes in artificial intelligence;

504 a| Includes bibliographical references and index.;

530 a| Also issued online.;

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| Hong, Hoon.=| ^A629819;

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

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

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

856 41 u| http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3763z| Restricted to SpringerLink subscribers;

994 a| 92b| ERE;

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har060009490c| 44.94 EUR;

938 a| Baker & Taylorb| BKTYc| 58.00d| 58.00i| 354031332Xn| 0006709950s| active;

980 a| 2006-04-05b| 58d| 0e| 55.1f| 801683;

596 a| 1;

998 a| 1031547;

999 a| QA448.D38 I577 2004w| LCc| 1i| 30372013567612d| 6/26/2013f| 6/26/2013g| 1l| JGESm| JOYNERp| $55.10r| Ys| Yt| JGESBKu| 4/11/2006x| BOOKz| JSTACKSo| .STAFF. 0;

Automated deduction in geometry : 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 ; revised papers / Hoon Hong, Dongming Wang (eds.).

Author/creator	International Workshop on Automated Deduction in Geometry
Other author	Hong, Hoon.
Other author	Wang, Dongming.
Format	Book
Publication Info	Berlin ; New York : Springer, 2006.
Description	x, 211 pages : illustrations ; 24 cm.
Supplemental Content	Restricted to SpringerLink subscribers
Subjects	Geometry--Data processing. --Congresses. Automatic theorem proving--Congresses. Logic, Symbolic and mathematical--Congresses.

Portion of title	ADG 2004
Series	Lecture notes in computer science, 0302-9743 ; 3763. Lecture notes in artificial intelligence Lecture notes in computer science 3763. ^A466336 Lecture notes in computer science. Lecture notes in artificial intelligence. ^A467263
Bibliography note	Includes bibliographical references and index.
Other forms	Also issued online.
LCCN	2005938552
ISBN	354031332X (pbk.)
ISBN	9783540313328

Availability

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

Automated deduction in geometry : 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 ; revised papers / Hoon Hong, Dongming Wang (eds.).

Click here for more information about this title

Availability