8 found
Sort by:
  1. 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.
     
    My bibliography  
     
    Export citation  
  2. 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)  
     
    My bibliography  
     
    Export citation  
  3. 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)  
     
    My bibliography  
     
    Export citation  
  4. 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  
     
    My bibliography  
     
    Export citation  
  5. Robert Harper (1991). Review: Susumu Hayashi, Hiroshi Nakano, PX. A Computational Logic. [REVIEW] Journal of Symbolic Logic 56 (2):763-766.
    Translate to English
    | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  6. 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)  
     
    My bibliography  
     
    Export citation  
  7. Robert C. Erffmeyer & Robert S. Harper (1977). Discrimination Learning in the Sooty Agouti (Dasyprocta Fuliginosa). Bulletin of the Psychonomic Society 9 (4):256-258.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  8. Robert Francis Harper (1906). The Code of Hammurabi. The Monist 16:633.
     
    My bibliography  
     
    Export citation