Interpreting Semi-formal Utterances in Dialogs about Mathematical Proofs.

Helmut Horacek, Magdalena Wolska

Browse the full NLDB paper archive.