![](https://www.pdfsearch.io/img/5513969bc99835efad1e9b8850d366f0.jpg)
| | MM Research Preprints, 172–180 MMRC, AMSS, Academia, Sinica, Beijing No. 21, December 2002 Automated Theorem Proving in the Homogeneous Model with Clifford Bracket AlgebraAdd to Reading ListSource URL: www.mmrc.iss.ac.cnDownload Document from Source Website File Size: 140,80 KBShare Document on Facebook
|