Natural language dialog with a tutor system for mathematical proofs (0)

by C Benzmüller, H Horacek, I Kruijff-Korbayová, M Pinkal, J H Siekmann, M Wolska
Venue:In Cognitive Systems