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 Classical recursion theory : the theory of functions and sets of natural numbers
      25. 
      Classical recursion theory : the theory of functions and sets of natural numbers
      by 
      Odifreddi, Piergiorgio, 1950-
      ScienceDirect http://www.sciencedirect.com/science/book/9780444894830
      ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=125
      Format: 
      Excerpt: 
      effective computability and their relations with computers and programming languages; a discussion of Church
      Cover image for Application of artificial intelligence in process control : lecture notes Erasmus intensive course
      26. 
      Application of artificial intelligence in process control : lecture notes Erasmus intensive course
      by 
      Boullart, L.
      ScienceDirect http://www.sciencedirect.com/science/book/9780080420165
      Format: 
      Excerpt: 
      representation by logic ; Object orientation and object oriented programming / Luc Boullart -- Expert system case
      Cover image for Biometric Security and Privacy Opportunities & Challenges in The Big Data Era
      27. 
      Biometric Security and Privacy Opportunities & Challenges in The Big Data Era
      by 
      Jiang, Richard. editor.
      http://dx.doi.org/10.1007/978-3-319-47301-7
      Format: 
      Excerpt: 
      Biometrics in Big Data Issues -- Multimodal Biometric Fusion via Ensemble Learning -- Fuzzy Logic for Precise
      Cover image for Proceedings of Sixth International Conference on Soft Computing for Problem Solving SocProS 2016, Volume 1
      28. 
      Proceedings of Sixth International Conference on Soft Computing for Problem Solving SocProS 2016, Volume 1
      by 
      Deep, Kusum. editor.
      http://dx.doi.org/10.1007/978-981-10-3322-3
      Format: 
      Excerpt: 
      between intuitionistic fuzzy programming and goal programming -- Implementation of Fuzzy Logic on FORTRAN
      Cover image for Handbook of knowledge representation
      29. 
      Handbook of knowledge representation
      by 
      Van Harmelen, Frank.
      MacEwan University Access (Unlimited Concurrent Users) from ScienceDirect
      ScienceDirect http://www.sciencedirect.com/science/book/9780444522115
      ScienceDirect http://www.sciencedirect.com/science/bookseries/15746526/3
      Format: 
      Excerpt: 
      Horrocks, Ulrike Sattler -- Constraint programming / Francesca Rossi, Peter van Beek, Toby Walsh
      Cover image for Nessus network auditing
      30. 
      Nessus network auditing
      by 
      Beale, Jay.
      ScienceDirect http://www.sciencedirect.com/science/book/9781597492089
      Format: 
      Excerpt: 
      for the Nessus community. * Perform a Vulnerability Assessment Use Nessus to find programming errors
      Cover image for Embedded software : the works
      31. 
      Embedded software : the works
      by 
      Walls, Colin.
      ScienceDirect http://www.sciencedirect.com/science/book/9780750679541
      Format: 
      Excerpt: 
      Considerations, Networking, Programmable Logic and much more. For those in the field who are looking to broaden
      Cover image for Designing mobile autonomous robots
      32. 
      Designing mobile autonomous robots
      by 
      Holland, John M.
      ScienceDirect http://www.sciencedirect.com/science/book/9780750676830
      Format: 
      Excerpt: 
      -- Instilling pain, fear and confidence -- Becoming unstuck in time -- Programming robots to be useful
      Cover image for Constraint processing
      33. 
      Constraint processing
      by 
      Dechter, Rina, 1950-
      ScienceDirect http://www.sciencedirect.com/science/book/9781558608900
      Format: 
      Excerpt: 
      Optimization; Probabilistic Networks; Constraint Logic Programming; Bibliography.
      Cover image for Multiple criteria analysis for agricultural decisions
      34. 
      Multiple criteria analysis for agricultural decisions
      by 
      Romero, Carlos, 1946-
      ScienceDirect http://www.sciencedirect.com/science/book/9780444503435
      ScienceDirect http://www.sciencedirect.com/science/bookseries/09265589/11
      Format: 
      Excerpt: 
      application of MCDM techniques. Readers with basic appreciation of algebra and linear programming can easily
      Cover image for Reference data for engineers : radio, electronics, computer, and communications.
      35. 
      Reference data for engineers : radio, electronics, computer, and communications.
      by 
      Middleton, Wendy.
      ScienceDirect http://www.sciencedirect.com/science/book/9780750672917
      Format: 
      Excerpt: 
      -- Lasers -- Computer organization and programming -- Logic design -- Probability and statistics
      Cover image for Handbook of proof theory
      36. 
      Handbook of proof theory
      by 
      Buss, Samuel R.
      to access electronic resource via ScienceDirect
      ScienceDirect http://www.sciencedirect.com/science/book/9780444898401
      ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=137
      Format: 
      Excerpt: 
      Logic Programming (G. Jäger, R.F. Stärk)). Chapter X. Types in Logic, Mathematics and Programming (R
      Select an Action