ML Anthology

Holland-Minkley, Amanda M.

1 publications

AAAI 1999 Verbalization of High-Level Formal Proofs Amanda M. Holland-Minkley, Regina Barzilay, Robert L. Constable