Skip to content
cs-conference-ranking
.org
By subfield
By rank
Methodology
⌕
Search 971 venues
Home
/
ITS
/
Paper
A Reification of a Strategy for Geometry Theorem Proving.
Noboru Matsuda
,
Kurt VanLehn
Venue
B
ITS
Year
2000
Proceedings
Intelligent Tutoring Systems
DBLP record
conf/its/MatsudaV00 ↗
Browse the full
ITS paper archive
.