Login
|
New Account
ITA
ENG
Vectorial Equations Solving for Mechanical Geometry Theorem Proving
Authors
H.Li
Citation
H.li, Vectorial Equations Solving for Mechanical Geometry Theorem Proving, Journal of automated reasoning , 25(2), 2000, pp. 83-121
Journal title
Journal of automated reasoning
→
ACNP
ISSN journal
01687433
Volume
25
Issue
2
Year of publication
2000
Pages
83 - 121
Database
ACNP
SICI code