//
Skip to main content
PRL Project

Knowledge Base of
Publication Publications, Seminar Seminars, & Math Book Math Library

PhD theses from the project are accessible at the NCSTRL web site.

Browse by author | title | year | subject

Filter for: Amanda Holland-Minkley

10 results


Seminar Nuprl Library Annotation
by Amanda Holland-Minkley
April 05, 2004

Seminar A Linguistic View of Constuctive Type Theory
by Amanda Holland-Minkley
February 02, 2004

Publication Planning Proof Content for Communicating Induction | cite »
by Amanda Holland-Minkley
2002

Seminar Automatic generation of texts from Nuprl proofs
by Amanda Holland-Minkley
February 04, 2002

Seminar Validating a methodology for natural language generation
by Amanda Holland-Minkley
March 05, 2001

Seminar 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

Seminar 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

Seminar 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

Publication Verbalization of High-Level Formal Proofs | cite »
by Amanda Holland-Minkley, Regina Barzilay, Robert L. Constable
1999

Seminar Verbalization of High-Level Formal Proofs
by Amanda Holland-Minkley
February 01, 1999