| Original language | English (US) |
|---|---|
| Title of host publication | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
| Publisher | Springer Verlag |
| Pages | 660 |
| Number of pages | 1 |
| Volume | 1839 |
| ISBN (Print) | 3540676554 |
| State | Published - 2000 |
| Externally published | Yes |
| Event | 5th International Conference on Intelligent Tutoring Systems, ITS 2000 - Montreal, Canada Duration: Jun 19 2000 → Jun 23 2000 |
Publication series
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Volume | 1839 |
| ISSN (Print) | 03029743 |
| ISSN (Electronic) | 16113349 |
Other
| Other | 5th International Conference on Intelligent Tutoring Systems, ITS 2000 |
|---|---|
| Country | Canada |
| City | Montreal |
| Period | 6/19/00 → 6/23/00 |
Fingerprint
ASJC Scopus subject areas
- Computer Science(all)
- Theoretical Computer Science
Cite this
A reification of a strategy for geometry theorem proving. / Matsuda, Noboru; VanLehn, Kurt.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 1839 Springer Verlag, 2000. p. 660 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1839).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
}
TY - GEN
T1 - A reification of a strategy for geometry theorem proving
AU - Matsuda, Noboru
AU - VanLehn, Kurt
PY - 2000
Y1 - 2000
UR - http://www.scopus.com/inward/record.url?scp=84944321228&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84944321228&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:84944321228
SN - 3540676554
VL - 1839
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 660
BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PB - Springer Verlag
ER -