MM Research Preprints, 172–180 MMRC, AMSS, Academia, Sinica, Beijing No. 21, December 2002 Automated Theorem Proving in the Homogeneous Model with Clifford Bracket Algebra

First Page		Document Content
		MM Research Preprints, 172–180 MMRC, AMSS, Academia, Sinica, Beijing No. 21, December 2002 Automated Theorem Proving in the Homogeneous Model with Clifford Bracket Algebra Add to Reading List Source URL: www.mmrc.iss.ac.cn Download Document from Source Website File Size: 140,80 KB Share Document on Facebook