Switch to: Citations

Add references

You must login to add references.
  1. Symbolic Logic: A Razor-edge Tool for Drafting and Interpreting Legal Documents.Layman E. Allen & Gabriel Orechkoff - 1964 - Journal of Symbolic Logic 29 (1):43-44.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • An assumption-based TMS.Johan de Kleer - 1986 - Artificial Intelligence 28 (2):127-162.
    Download  
     
    Export citation  
     
    Bookmark   97 citations  
  • Logic for Problem Solving.Donald W. Loveland - 1979 - Ediciones Díaz de Santos.
    Investigates the application of logic to problem solving and computer programming. Requires no previous knowledge in this field, and therefore can be used as an introduction to logic, the theory of problem-solving and computer programming. Annotation copyrighted by Book News, Inc., Portland, OR.
    Download  
     
    Export citation  
     
    Bookmark   32 citations  
    • Home | Bibliographies | About PhilArchive | Contact us | Code of conduct

    CDP Phiosophy Documentation Center
    PhilPapers logo by Andrea Andrews and Meghan Driscoll.
    This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications).

    Use of this site is subject to terms & conditions.
    All rights reserved by The PhilPapers Foundation

    Server: philpapers-web-7cb8d487df-c8cbx uwo