Automated deduction in geometry : Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998 : proceedings / Xiao-Shan Gao, Dongming Wang, Lu Yang (eds.).

Author/creator International Workshop on Automated Deduction in Geometry
Other author Gao, Xiao-Shan.
Other author Wang, Dongming.
Other author Yang, Lu, 1936-
Format Book
Publication InfoBerlin ; New York : Springer, ©1999.
Descriptionvi, 285 pages : illustrations ; 24 cm.
Subjects
Geometry--Data processing. --Congresses.
Automatic theorem proving--Congresses.
Logic, Symbolic and mathematical--Congresses.
Geometry--Data processing. --Congresses.
Automatic theorem proving--Congresses.
Logic, Symbolic and mathematical--Congresses.

SeriesLecture notes in computer science ; 1669. Lecture notes in artificial intelligence
Lecture notes in computer science 1669. ^A466336
Lecture notes in computer science. Lecture notes in artificial intelligence. ^A467263
Bibliography noteIncludes bibliographical references and index.
LCCN 99051338
ISBN3540666729 (softcover : alk. paper)