Publication Overview

Christoph Benzmüller and Helmut Horacek and Ivana Kruijff-Korbayová and Manfred Pinkal and Jörg H. Siekmann and Magdalena Wolska

Natural Language Dialog with a Tutor System for Mathematical Proofs

Published in: Cognitive Systems
Year: 2005
Pages: 1-14