A reification of a strategy for geometry theorem proving

Noboru Matsuda; Kurt VanLehn

A reification of a strategy for geometry theorem proving

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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/Territory	Canada
City	Montreal
Period	6/19/00 → 6/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.

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

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, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1839, Springer Verlag, pp. 660, 5th International Conference on Intelligent Tutoring Systems, ITS 2000 , Montreal, Canada, 6/19/00.

Matsuda N, VanLehn K. 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. Springer Verlag. 2000. p. 660. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

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

@inproceedings{28e1aa7f42004c1e9bbeac754d874482,

title = "A reification of a strategy for geometry theorem proving",

author = "Noboru Matsuda and Kurt VanLehn",

year = "2000",

language = "English (US)",

isbn = "3540676554",

volume = "1839",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "660",

booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

note = "5th International Conference on Intelligent Tutoring Systems, ITS 2000 ; Conference date: 19-06-2000 Through 23-06-2000",

}

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

T2 - 5th International Conference on Intelligent Tutoring Systems, ITS 2000

Y2 - 19 June 2000 through 23 June 2000

ER -

A reification of a strategy for geometry theorem proving

Publication series

Other

ASJC Scopus subject areas

Other files and links

Cite this