Knowledge Base of
Publications,
Seminars,
& 
Math Library
PhD theses from the project are accessible at the NCSTRL web site.
Filter for: Amanda Holland-Minkley
10 results
Nuprl Library Annotation
by Amanda Holland-Minkley
April 05, 2004
A Linguistic View of Constuctive Type Theory
by Amanda Holland-Minkley
February 02, 2004
Planning Proof Content for Communicating Induction
| cite »
by Amanda Holland-Minkley
2002
Automatic generation of texts from Nuprl proofs
by Amanda Holland-Minkley
February 04, 2002
Validating a methodology for natural language generation
by Amanda Holland-Minkley
March 05, 2001
Summer Reports
by Stuart F. Allen, Ralph Benzinger, Regina Barzilay, Ozan Hafizogullari, Aleksey Nogin, Amanda Holland-Minkley, Mark Bickford, Sasha Evfimievski, Lori Lorigo
September 18, 2000
Summer Reports
by Stuart F. Allen, Ralph Benzinger, Regina Barzilay, Ozan Hafizogullari, Aleksey Nogin, Amanda Holland-Minkley, Mark Bickford, Sasha Evfimievski, Lori Lorigo
September 11, 2000
Summer Reports
by Stuart F. Allen, Ralph Benzinger, Regina Barzilay, Ozan Hafizogullari, Aleksey Nogin, Amanda Holland-Minkley, Mark Bickford, Sasha Evfimievski, Lori Lorigo
September 04, 2000
Verbalization of High-Level Formal Proofs
| cite »
by Amanda Holland-Minkley, Regina Barzilay, Robert L. Constable
1999
Verbalization of High-Level Formal Proofs
by Amanda Holland-Minkley
February 01, 1999