Search ResultsElectronic Resources
Switch to list view
Switch to thumbnail view
4 Results Found Subscribe to search results
0000DEFAULT
Print
Select a list
Make this your default list.
The following items were successfully added.
    There was an error while adding the following items. Please try again.
      Cover image for A many-sorted calculus based on resolution and paramodulation
      1. 
      A many-sorted calculus based on resolution and paramodulation
      by 
      Walther, Christoph.
      ScienceDirect http://www.sciencedirect.com/science/book/9780273087182
      Format: 
      Excerpt: 
      Research notes in artificial intelligence (London, England)
      Cover image for Handbook of automated reasoning
      2. 
      Handbook of automated reasoning
      by 
      Robinson, J. A. (John Alan)
      ScienceDirect http://www.sciencedirect.com/science/book/9780444508133
      Format: 
      Excerpt: 
      Artificial Intelligence.
      Cover image for Symbolic logic and mechanical theorem proving
      3. 
      Symbolic logic and mechanical theorem proving
      by 
      Chang, Chin-Liang, 1937-
      ScienceDirect https://www.sciencedirect.com/science/book/9780080917283
      Format: 
      Excerpt: 
      Artificial intelligence.
      Cover image for A computational logic
      4. 
      A computational logic
      by 
      Boyer, Robert S.
      ScienceDirect https://www.sciencedirect.com/science/book/9780121229504
      Format: 
      Excerpt: 
      Mechanical Theorem-Prover; F. Artificial Intelligence or Logic?; G. Organization; Chapter 2. A Sketch of the
      Go to:Search Results
      |
      Search Facets
      |
      Top of Page