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
55 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 Artificial intelligence and mathematical theory of computation : papers in honor of John McCarthy
      37. 
      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
      38. 
      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
      39. 
      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
      40. 
      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
      41. 
      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
      42. 
      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
      43. 
      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
      44. 
      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
      45. 
      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
      46. 
      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
      47. 
      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
      Cover image for Machine learning : proceedings of the Twelfth International Conference on Machine Learning, Tahoe City, California, July 9-12, 1995
      48. 
      Machine learning : proceedings of the Twelfth International Conference on Machine Learning, Tahoe City, California, July 9-12, 1995
      by 
      International Conference on Machine Learning (12th : 1995 : Tahoe City, Calif.)
      ScienceDirect http://www.sciencedirect.com/science/book/9781558603776
      Format: 
      Excerpt: 
      INSTANCES FOR LEARNING; 5 THE INDUCTIVE LOGIC PROGRAMMING ALGORITHM; 6 EVALUATION; 7 RELATED WORK; 8 FUTURE
      Select an Action