A Dialogue Manager supporting Natural Language Tutorial Dialogue on Proofs (2006)

Cached

Download Links

by Mark Buckley , Christoph Benzmüller
Venue:ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
Citations:1 - 1 self