Clifford Term Rewriting for Geometric Reasoning in 3D

The Digital Librarian's Digital Library

DOCIS Documents in Computing and Information Science

Thierry Boy de la Tour, Stéphane Fèvre, Dongming Wang

Journal Title: aAutomated Deduction in Geometry

Date: 1998

For further information about this item go to:

This data comes from DBLP

This page is maintained by Angela Cornwell and Thomas Krichel.
It was last updated on 2006-04-12