國立高雄大學圖資館 |

Language: English

Back

Automated Deduction in Geometry5th I...

(1998 :)

Automated Deduction in Geometry5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers

Record Type:	Electronic resources : Monograph/item
Title/Author:	Automated Deduction in Geometryedited by Hoon Hong, Dongming Wang.
Reminder of title:	5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers
other author:	Wang, Dongming.
corporate name:
Published:	Berlin Heidelberg :Springer-Verlag GmbH.,2006
Description:	x, 211 p. :ill., digital ;24 cm.
Series:	Lecture Notes in Computer Science,
Contained By:	Springer e-books
Subject:	GeometryCongresses.Data processing
Online resource:	http://dx.doi.org/10.1007/11615798
ISBN:	9783540313328 (paper)

Automated Deduction in Geometry5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers
Automated Deduction in Geometry5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers[electronic resource] :edited by Hoon Hong, Dongming Wang. - Berlin Heidelberg :Springer-Verlag GmbH.,2006 - x, 211 p. :ill., digital ;24 cm. - Lecture Notes in Computer Science,37630302-9743 ;.

ISBN: 9783540313328 (paper)Subjects--Topical Terms:

442682
Geometry
--Data processing--Congresses.

LC Class. No.: QA76.9.D3 / E924 2004

Dewey Class. No.: 005.74

Automated Deduction in Geometry5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers
LDR:00989nmm _22002415a_450 001 186549
003 Springer
005 20071113094538.0
006 m d
007 cr nn 008mamaa
008 090528s2006 gw j eng d
020 $a 9783540313328 (paper)
020 $a 9783540313632 (electronic bk.)
035 $a 00333909
050 0 0 $a QA76.9.D3 $b E924 2004
082 0 0 $2 22 $a 005.74
090 $a QA76.9.D3 $b E89 2004
111 0 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
245 1 0 $a Automated Deduction in Geometry $b 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers $c edited by Hoon Hong, Dongming Wang. $h [electronic resource] :
260 # $a Berlin Heidelberg : $c 2006 $b Springer-Verlag GmbH.,
300 $a x, 211 p. : $b ill., digital ; $c 24 cm.
440 0 $a Lecture Notes in Computer Science, $v 3763 $x 0302-9743 ;
650 # 0 $a Geometry $x Data processing $v Congresses. $3 442682
650 # 0 $a Automatic theorem proving $v Congresses. $3 443052
650 # 0 $a Logic, Symbolic and mathematical $3 254195
650 # 0 $a Computer Science. $3 212513
650 # 0 $a Artificial Intelligence (incl. Robotics) $3 252959
650 # 0 $a Computer Graphics. $3 274515
650 # 0 $a Convex and Discrete Geometry. $3 277230
650 # 0 $a Discrete Mathematics in Computer Science. $3 274791
650 # 0 $a Mathematical Logic and Formal Languages. $3 275383
650 # 0 $a Pattern Recognition. $3 273706
700 0 # $a Wang, Dongming. $3 256557
700 0 # $a Hong, Hoon. $3 278998
710 0 # $a SpringerLink (Online service) $3 273601
773 0 # $t Springer e-books
856 4 0 $u http://libsw.nuk.edu.tw:81/login?url=http://dx.doi.org/10.1007/11615798 $z http://dx.doi.org/10.1007/11615798
950 $a Computer Science (Springer-11645; ZDB-2-SCS)