Search ResultsElectronic Resources
Limit Search Results
Author
Material Type
Language
Publication Date
-
Subject
Library
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
11 Results Found Subscribe to search results
00000000000DEFAULT
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 Inductive Certificate Synthesis for Control Design
      1. 
      Inductive Certificate Synthesis for Control Design
      by 
      Ravanbakhsh, Hadi, author.
      http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10792462
      Format: 
      Excerpt: 
      University of Colorado at Boulder. Computer Science. degree granting institution.
      Cover image for Working material for the lectures of Gerhard Jager.
      2. 
      Working material for the lectures of Gerhard Jager.
      by 
      Jager, Gerhard
      Format: 
      Excerpt: 
      Computer science.
      Cover image for Working material for the lectures of Stan S. Wainer.
      3. 
      Working material for the lectures of Stan S. Wainer.
      by 
      Wainer, Stan S.
      Format: 
      Excerpt: 
      Computer science.
      Cover image for A framework for defining logics
      4. 
      A framework for defining logics
      by 
      Harper, Robert
      Format: 
      Excerpt: 
      Computer science.
      Cover image for On the Logos: A Naïve View on Ordinary Reasoning and Fuzzy Logic
      5. 
      On the Logos: A Naïve View on Ordinary Reasoning and Fuzzy Logic
      by 
      Trillas, Enric. author.
      http://dx.doi.org/10.1007/978-3-319-56053-3
      Format: 
      Excerpt: 
      , this book represents an inspiring read for professors and researchers in computer science, and fuzzy
      Cover image for Logic from Russell to Church.
      6. 
      Logic from Russell to Church.
      by 
      Gabbay, Dov M., 1945-
      MacEwan University Access (Unlimited Concurrent Users) from ScienceDirect
      ScienceDirect http://www.sciencedirect.com/science/book/9780444516206
      Format: 
      Excerpt: 
      mathematics, computer science, artificial intelligence, for whom the historical background of his or her work
      Cover image for Handbook of the history of logic. Volume 2, Mediaeval and renaissance logic
      7. 
      Handbook of the history of logic. Volume 2, Mediaeval and renaissance logic
      by 
      Gabbay, Dov M., 1945-
      ScienceDirect https://www.sciencedirect.com/science/book/9780444516251
      ScienceDirect https://www.sciencedirect.com/science/publication?issn=18745857&volume=2
      ScienceDirect https://www.sciencedirect.com/science/handbooks/18745857/2
      Format: 
      Excerpt: 
      logic, mathematics, history of mathematics, computer science and AI, linguistics, cognitive science
      Cover image for Logic and the modalities in the twentieth century
      8. 
      Logic and the modalities in the twentieth century
      by 
      Gabbay, Dov M., 1945-
      ScienceDirect http://www.sciencedirect.com/science/book/9780444516220
      ScienceDirect http://www.sciencedirect.com/science/publication?issn=18745857&volume=7
      Format: 
      Excerpt: 
      , computer science, artificial intelligence, for whom the historical background of his or her work is a
      Cover image for Greek, Indian, and Arabic logic
      9. 
      Greek, Indian, and Arabic logic
      by 
      Gabbay, Dov M., 1945-
      to access electronic resource
      ScienceDirect http://www.sciencedirect.com/science/book/9780444504661
      ScienceDirect http://www.sciencedirect.com/science/publication?issn=18745857&volume=1
      Format: 
      Excerpt: 
      undergraduate students in logic in all its forms, argumentation theory, AI and computer science, cognitive
      Cover image for Agenda relevance : a study in formal pragmatics
      10. 
      Agenda relevance : a study in formal pragmatics
      by 
      Gabbay, Dov M., 1945-
      ScienceDirect http://www.sciencedirect.com/science/book/9780444513854
      ScienceDirect http://www.sciencedirect.com/science/publication?issn=18745075&volume=1
      ScienceDirect http://www.sciencedirect.com/science/bookseries/18745075/1
      Format: 
      Excerpt: 
      , belief dynamics, computer science, AI, psychology and neuroscience, linguistics, argumentation theory
      Cover image for The reach of abduction : insight and trial
      11. 
      The reach of abduction : insight and trial
      by 
      Gabbay, Dov M., 1945-
      ScienceDirect http://www.sciencedirect.com/science/book/9780444517913
      ScienceDirect http://www.sciencedirect.com/science/publication?issn=18745075&volume=2
      Format: 
      Excerpt: 
      coverage of the book is extensive, from the philosophy of science to computer science and AI, from