8 found
Order:
  1.  5
    Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi & Victor Vianu (2001). On the Unusual Effectiveness of Logic in Computer Science. Bulletin of Symbolic Logic 7 (2):213-236.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  2.  6
    Robert Harper, Donald Sannella & Andrzej Tarlecki (1994). Structured Theory Presentations and Logic Representations. Annals of Pure and Applied Logic 67 (1-3):113-160.
    The purpose of a logical framework such as LF is to provide a language for defining logical systems suitable for use in a logic-independent proof development environment. All inferential activity in an object logic is to be conducted in the logical framework via the representation of that logic in the framework. An important tool for controlling search in an object logic, the need for which is motivated by the difficulty of reasoning about large and complex systems, is the use of (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  3.  2
    Robert C. Erffmeyer & Robert S. Harper (1977). Discrimination Learning in the Sooty Agouti. Bulletin of the Psychonomic Society 9 (4):256-258.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  4. Robert Francis Harper (1906). The Code of Hammurabi. The Monist 16:633.
     
    Export citation  
     
    My bibliography   1 citation  
  5.  1
    Robert G. Harper, Arthur N. Wiens & Joseph D. Matarazzo (1979). The Relationship Between Encoding-Decoding of Visual Nonverbal Emotional Cues. Semiotica 28 (1-2).
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6. Michael L. Dantley, James G. Allen, Dr Jeffrey S. Brooks, C. Cryss Brunner, Colleen A. Capper, Mary J. DeLeon, Renée DePalma, Robert E. Harper, Frank Hernandez, Grahaeme A. Hesp, Ian K. Macgillivray, Sarah A. McKinney, Erica Meiners, Therese Quinn, Karen Schulte & Michael Sharp (2009). Sexuality Matters: Paradigms and Policies for Educational Leaders. R&L Education.
    This book brings together scholars from a variety of epistemological perspectives to explore the multiple ways in which sexuality does indeed matter in the arena of public education.
     
    Export citation  
     
    My bibliography  
  7. Robert Harper (1991). Hayashi Susumu and Nakano Hiroshi. PX. A Computational Logic. Foundations of Computing. The MIT Press, Cambridge, Mass., and London, 1989, Xiv+ 200 Pp. [REVIEW] Journal of Symbolic Logic 56 (2):763-766.
    Direct download  
     
    Export citation  
     
    My bibliography  
  8. Robert Harper (1991). Review: Susumu Hayashi, Hiroshi Nakano, PX. A Computational Logic. [REVIEW] Journal of Symbolic Logic 56 (2):763-766.
    Translate
      Direct download (3 more)  
     
    Export citation  
     
    My bibliography