Verbalization of high-level formal proofs (1999)

by Amanda M. Holland-minkley , Regina Barzilay , Robert L. Constable
Venue:In Proceedings of the Sixteenth National Conference on Artificial Intelligence
Citations:18 - 4 self