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 Programmable controllers : an engineer's guide
      37. 
      Programmable controllers : an engineer's guide
      by 
      Parr, E. A. (E. Andrew)
      ScienceDirect https://www.sciencedirect.com/science/book/9780750604987
      Format: 
      Excerpt: 
      Numerical applications; 2.9 Combinational and event-driven logic; Chapter 3.Programming style
      Cover image for Artificial intelligence and mathematical theory of computation : papers in honor of John McCarthy
      38. 
      Artificial intelligence and mathematical theory of computation : papers in honor of John McCarthy
      by 
      McCarthy, John, 1927-2011.
      ScienceDirect https://www.sciencedirect.com/science/book/9780124500105
      Format: 
      Excerpt: 
      . Manna, M. Stickel, and R. Waldinger -- Circumscription and disjunctive logic programming / J. Minker, J
      Cover image for Logic-based decision support : mixed integer model formulation
      39. 
      Cover image for Topics in the theory of computation : selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983
      40. 
      Topics in the theory of computation : selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983
      by 
      International FCT-Conference (1983 : Borgholm, Sweden)
      ScienceDirect http://www.sciencedirect.com/science/book/9780444876478
      ScienceDirect http://www.sciencedirect.com/science/publication?issn=03040208&volume=102
      Format: 
      Excerpt: 
      programming logic I: Some principles of theory; Chapter 3. Space and reversal complexity of probabilistic one
      Cover image for The Computational Complexity of Presburger Arithmetic
      41. 
      The Computational Complexity of Presburger Arithmetic
      by 
      Nguyen Luu, Danh, 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:10828057
      Format: 
      Excerpt: 
      phrased in the language of Presburger Arithmetic (PA), which is the first order logic on the integers with
      Cover image for Practical foundations for programming languages
      42. 
      Practical foundations for programming languages
      by 
      Harper, Robert.
      Click to View
      Format: 
      Excerpt: 
      . Generic programming; Part VI. Infinite Data Types: 18. Inductive and co-inductive types; 19. Recursive
      Cover image for Fundamentals of HVAC control systems
      43. 
      Fundamentals of HVAC control systems
      by 
      McDowall, Robert.
      ScienceDirect http://www.sciencedirect.com/science/book/9780080552330
      Format: 
      Excerpt: 
      -powered controls. Electric controls, control diagrams and control logic. The components of pneumatic systems and
      Cover image for Reconfigurable computing : the theory and practice of FPGA-based computation
      44. 
      Reconfigurable computing : the theory and practice of FPGA-based computation
      by 
      Hauck, Scott.
      ScienceDirect https://www.sciencedirect.com/science/book/9780123705228
      Format: 
      Excerpt: 
      computing vehicles rather than glue-logic or ASIC substitutes Views of FPGA programming beyond Verilog/VHDL
      Cover image for Computational intelligence : concepts to implementations
      45. 
      Computational intelligence : concepts to implementations
      by 
      Eberhart, Russell C.
      ScienceDirect http://www.sciencedirect.com/science/book/9781558607590
      Format: 
      Excerpt: 
      experts without extensive programming experience. Computational Intelligence: Concepts to Implementations
      Cover image for Programmable logic controllers
      46. 
      Programmable logic controllers
      by 
      Bolton, W. (William), 1933-
      ScienceDirect http://www.sciencedirect.com/science/book/9780750681124
      Format: 
      Excerpt: 
      processing -- 5. Ladder and functional block programming -- 6. IL, SFC and ST programming methods -- 7
      Cover image for Handbook of temporal reasoning in artificial intelligence
      47. 
      Handbook of temporal reasoning in artificial intelligence
      by 
      Fisher, Michael, 1962-
      ScienceDirect http://www.sciencedirect.com/science/book/9780444514936
      ScienceDirect http://www.sciencedirect.com/science/publication?issn=15746526&volume=1
      ScienceDirect https://www.sciencedirect.com/science/publication?issn=15746526&volume=1
      ScienceDirect http://www.sciencedirect.com/science/bookseries/15746526/1
      Format: 
      Excerpt: 
      Belleghem -- Temporal description logics / Alessandro Artale and Enrico Franconi -- Logic programming and
      Cover image for Hardware and computer organization : the software perspective
      48. 
      Hardware and computer organization : the software perspective
      by 
      Berger, Arnold S.
      ScienceDirect http://www.sciencedirect.com/science/book/9780750678865
      Format: 
      Excerpt: 
      Architecture -- 2. Introduction to Digital Logic -- 3. Introduction to Asynchronous Logic -- 4. Introduction to
      Select an Action