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: Jon Kleinberg

2 results

Publication A Graph-Based Approach towards Discerning Inherent Structures in a Digital Library of Formal Mathematics. | cite »
by Lori Lorigo, Jon Kleinberg, Richard Eaton, Robert L. Constable

Publication A Nuprl-PVS Connection: Integrating Libraries of Formal Mathematics | cite »
by Jon Kleinberg, Mark Bickford, Robert L. Constable, Richard Eaton, Christoph Kreitz