automated geometry theorem proving
Recently Published Documents
TOTAL DOCUMENTS
5
(FIVE YEARS 0)
H-INDEX
3
(FIVE YEARS 0)
2001 ◽
pp. 268-305
◽
2000 ◽
pp. 125-146
◽
Keyword(s):
1986 ◽
Vol 2
(4)
◽
pp. 389-397
◽