Verbalization of High-Level Formal Proofs - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Amanda M. Holland-Minkley, Regina Barzilay, Robert L. Constable. Verbalization of High-Level Formal Proofs. In AAAI/IAAI. pages 277-284, 1999.

@inproceedings{Holland-MinkleyBC99,
  title = {Verbalization of High-Level Formal Proofs},
  author = {Amanda M. Holland-Minkley and Regina Barzilay and Robert L. Constable},
  year = {1999},
  researchr = {https://researchr.org/publication/Holland-MinkleyBC99},
  cites = {0},
  citedby = {0},
  pages = {277-284},
  booktitle = {AAAI/IAAI},
}

runs on WebDSL