Automated deduction in geometry : Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998 : proceedings /

Bibliographic Details
Corporate Author:	International Workshop on Automated Deduction in Geometry Beijing, China
Other Authors:	Gao, Xiao-Shan, Wang, Dongming, Yang, Lu, 1936-
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer, [1999]
Series:	Lecture notes in computer science ; 1669. Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:	Geometry > Data processing > Congresses. Automatic theorem proving > Congresses. Logic, Symbolic and mathematical > Congresses.

Remote Storage