A reification of a strategy for geometry theorem proving

Noboru Matsuda, Kurt VanLehn

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer Verlag
Pages660
Number of pages1
Volume1839
ISBN (Print)3540676554
StatePublished - 2000
Externally publishedYes
Event5th International Conference on Intelligent Tutoring Systems, ITS 2000 - Montreal, Canada
Duration: Jun 19 2000Jun 23 2000

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1839
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other5th International Conference on Intelligent Tutoring Systems, ITS 2000
CountryCanada
CityMontreal
Period6/19/006/23/00

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Cite this

Matsuda, N., & VanLehn, K. (2000). A reification of a strategy for geometry theorem proving. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1839, pp. 660). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1839). Springer Verlag.