Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers - International Workshop on Automated Deduction in Geometry 1996 : Toulouse, France); Wang, Dongming (Berlin ; New York : Springer, 1998)
Includes bibliographical references and index.
Keywords: Geometry -- Data processing -- Congresses; Automatic theorem proving -- Congresses; Logic, Symbolic and mathematical -- Congresses