eCommons@Cornell: Browsing eCommons

Browsing by Author Howe, Douglas J.

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 4 to 7 of 7

Issue Date	Title	Author(s)
Apr-1989	Implementing Metamathematics as an Approach to Automatic Theorem Proving	Constable, Robert L.; Howe, Douglas J.
May-1986	Implementing Number Theory: An Experiment with Nuprl	Howe, Douglas J.
Jun-1986	Impredicative Strong Existential Equivalent to Type:Type	Hook, James G.; Howe, Douglas J.
Jun-1989	Nuprl as a General Logic	Constable, Robert L.; Howe, Douglas J.

Showing results 4 to 7 of 7