Search ResultsElectronic Resources
Limit Search Results
Author
Material Type
Language
Publication Date
-
Subject
Electronic books.
(7)
Artificial intelligence.
(4)
Logique symbolique et mathématique.
(3)
Artificial intelligence -- Congresses.
(2)
COMPUTERS -- General.
(2)
Library
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
7 Results Found Subscribe to search results
0000000DEFAULT
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 Principles of logic and logic programming
      1. 
      Principles of logic and logic programming
      by 
      Metakides, George, 1945-
      ScienceDirect http://www.sciencedirect.com/science/book/9780444816443
      Format: 
      Excerpt: 
      Studies in computer science and artificial intelligence ;
      Cover image for Theoretical aspects of reasoning about knowledge : proceedings of the 1986 conference, March 19-22, 1986, Monterey, California
      2. 
      Cover image for Theoretical aspects of reasoning about knowledge : proceedings of the Fifth Conference (TARK 1994)
      3. 
      Theoretical aspects of reasoning about knowledge : proceedings of the Fifth Conference (TARK 1994)
      by 
      Conference on Theoretical Aspects of Reasoning about Knowledge (5th : 1994 : Pacific Grove, Calif.)
      ScienceDirect http://www.sciencedirect.com/science/book/9781483214535
      Format: 
      Excerpt: 
      Artificial intelligence -- Congresses.
      Cover image for Mathematical logic
      4. 
      Mathematical logic
      by 
      Turing, Alan, 1912-1954.
      ScienceDirect https://www.sciencedirect.com/science/book/9780444504234
      Format: 
      Excerpt: 
      Artificial intelligence.
      Cover image for Symbolic logic and mechanical theorem proving
      5. 
      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 Handbook of the logic of argument and inference : the turn towards the practical
      6. 
      Handbook of the logic of argument and inference : the turn towards the practical
      by 
      Gabbay, Dov M., 1945-
      ScienceDirect http://www.sciencedirect.com/science/book/9780444506504
      ScienceDirect http://www.sciencedirect.com/science/publication?issn=15702464&volume=1
      Format: 
      Excerpt: 
      , probability logic and artificial intelligence. The last chapter surveys formal approaches to practical
      Cover image for Handbook of logic and language
      7. 
      Handbook of logic and language
      by 
      Benthem, Johan van, 1949-
      ScienceDirect http://www.sciencedirect.com/science/book/9780444537263
      Format: 
      Excerpt: 
      playing a role in disciplines such as computer science, artificial intelligence, cognitive science and