Skip to main content


eCommons@Cornell >

Browsing by Title

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:   
Sort by: In order: Results/Page Authors/Record:
Showing results 18783 to 18802 of 33299
< previous   next >
PreviewIssue DateTitleAuthor(s)
Sep-1999Formalization of Isabelle Meta Logic in NuPRLNaumov, Pavel
May-1998Formalizations Of Substitution Of Equals For EqualsGries, David; Schneider, Fred B.
Mar-1986Formalized Metareasoning in Type TheoryKnoblock, Todd B.; Constable, Robert L.
Sep-1993Formalizing Constructive Real AnalysisForester, Max B.
Sep-1998Formalizing Reference Types in NuPRL, PhD ThesisNaumov, Pavel
Feb-1997Formal Justification of Underspecification for S5Aaron, Eric; Gries, David
9-May-2001Formally Verifying Hybrid Protocols with the Nuprl Logical ProgrammingEnvironmentBickford, Mark; Kreitz, Christoph; van Renesse, Robbert
Aug-1984Formal Model of MOS Clocking DisciplesKarplus, Kevin
Jul-1997Formal Reasoning about Communication Systems I: Embedding ML into TypeTheory.Kreitz, Christoph
Sep-1998Formal Reasoning about Communication Systems II: Automated Fast-TrackReconfigurationKreitz, Christoph
Jun-1976A Formal Syntax for PL/CSTeitelbaum, Tim
30-Nov-2001Formal Type Soundness for Cyclone's Region SystemGrossman, Dan; Morrisett, Greg,; Jim, Trevor; Hicks, Mike; Wang, Yanling; Cheney, James
Aug-1996Formal versus semiformal proof in teaching predicate logicGries, David
2009The Formation and Evolution of Physician Treatment Styles: An Application to Caesarean SectionsNicholson, Sean
28-Jan-2013Formation Of Iron Complexes In Soil Organic Matter And Their Influence On Mobility And Bioavailability Of AntimonyPtak, Corey
26-Jun-2007Formative Evaluation of Massachusetts Audubon Society?s Coastal Waterbird ProgramBell, Caitlin
27-Jan-2014The Form Of Learning Is The Learning Of Forms: Models Of Socialist Aesthetic Education In Gorky, Hacks, And MüLlerPickle, Sarah
2001Forrester, William RayCornell University, Office of the Dean of the University Faculty
8-Mar-2007Forsaken Females: The Global Brutalization of WomenParrot, Andrea; Cummings, Nina
31-Jan-2011For Shame: Emotion, Gender, And Innovation In The Nineteenth-Century British NovelBennett, Ashly
Showing results 18783 to 18802 of 33299
< previous   next >


© 2014 Cornell University Library Contact Us