Natural Language Dialog with a Tutor System for Mathematical Proofs (2007)

Cached

Download Links

by Christoph Benzmüller , Helmut Horacek , Ivana Kruijff-Korbayová , Manfred Pinkal , Jörg Siekmann , Magdalena Wolska
Venue:JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY
Citations:8 - 5 self