System Description: A Dialogue Manager Supporting Natural Language Tutorial Dialogue on Proofs (2005)

Cached

Download Links

by Mark Buckley , Christoph Benzmüller
Venue: UITP 2005 PRELIMINARY VERSION
Citations:1 - 0 self