Affine bracket algebra theory and algorithms and their applications in mechanical theorem proving
Ning Zhang, Hong-bo LiVolume:
50
Language:
english
Pages:
10
DOI:
10.1007/s11425-007-0076-6
Date:
July, 2007
File:
PDF, 290 KB
english, 2007