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

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)