Search ResultsElectronic Resources
Limit Search Results
Author
ProQuest (Firm)
(6)
SpringerLink (Online service)
(3)
Bolton, W. (William), 1933-
(2)
Lifschitz, Vladimir.
(2)
Parr, E. A. (E. Andrew)
(2)
Material Type
Language
Publication Date
-
Subject
Electronic books.
(49)
Logic programming.
(6)
Computer programming.
(5)
Programmable controllers.
(5)
Artificial intelligence.
(4)
Library
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
56 Results Found Subscribe to search results
000000000000DEFAULT
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: 
      Principles of logic and logic programming / Metakides, George, 1945-
      Cover image for Foundations of deductive databases and logic programming
      2. 
      Foundations of deductive databases and logic programming
      by 
      Apt, Krzysztof R., 1949-
      ScienceDirect https://www.sciencedirect.com/science/book/9780934613408
      Format: 
      Excerpt: 
      Foundations of deductive databases and logic programming / Apt, Krzysztof R., 1949-
      Cover image for Software testing for conventional and logic programming
      3. 
      Software testing for conventional and logic programming
      by 
      Jack, Oliver.
      Click to View
      Format: 
      Excerpt: 
      Software testing for conventional and logic programming Jack, Oliver.
      Cover image for Linear Logic and Coordination for Parallel Programming
      4. 
      Linear Logic and Coordination for Parallel Programming
      by 
      Cruz, Flávio Manuel Fernandes, 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:10820622
      Format: 
      Excerpt: 
      Linear Logic and Coordination for Parallel Programming / Cruz, Flávio Manuel Fernandes, author.
      Cover image for An inductive logic programming approach to statistical relational learning
      5. 
      An inductive logic programming approach to statistical relational learning
      by 
      Kersting, Kristian.
      Click to View
      Format: 
      Excerpt: 
      An inductive logic programming approach to statistical relational learning Kersting, Kristian.
      Cover image for Introduction to programming : learn to program in java with data structures, algorithms, and logic
      6. 
      Introduction to programming : learn to program in java with data structures, algorithms, and logic
      by 
      Samoylov, Nick, author.
      Click to View
      Format: 
      Excerpt: 
      Introduction to programming : learn to program in java with data structures, algorithms, and logic /
      Cover image for Mitsubishi FX programmable logic controllers : applications and programming
      7. 
      Mitsubishi FX programmable logic controllers : applications and programming
      by 
      Ridley, J. E. (John E.)
      ScienceDirect https://www.sciencedirect.com/science/book/9780750656795
      Format: 
      Excerpt: 
      Mitsubishi FX programmable logic controllers : applications and programming / Ridley, J. E. (John E.)
      Cover image for Mantık ve programlamada belirtisiz kümeler
      8. 
      Mantık ve programlamada belirtisiz kümeler
      by 
      Uzun, Hüseyin
      Format: 
      Excerpt: 
      Fuzzy sets in logic and programming.
      Cover image for Evolving knowledge bases specification and semantics
      9. 
      Evolving knowledge bases specification and semantics
      by 
      Leite, João Alexandre.
      Click to View
      Format: 
      Excerpt: 
      Logic programming.
      Cover image for Arithmetic and logic in computer systems
      10. 
      Arithmetic and logic in computer systems
      by 
      Lu, Mi.
      Click to View
      Format: 
      Excerpt: 
      Logic programming.
      Cover image for Reliability prediction from burn-in data fit to reliability models
      11. 
      Reliability prediction from burn-in data fit to reliability models
      by 
      Bernstein, Joseph B., author.
      Click to View
      Format: 
      Excerpt: 
      Logic programming.
      Cover image for Digital design and computer architecture
      12. 
      Digital design and computer architecture
      by 
      Harris, Sarah L., author.
      Click to View
      Format: 
      Excerpt: 
      From Zero to One -- Combinational Logic Design -- Sequential Logic Design -- Hardware Description
      Select an Action