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
00000000DEFAULT
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 Machine learning : proceedings of the Twelfth International Conference on Machine Learning, Tahoe City, California, July 9-12, 1995
      49. 
      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
      Cover image for Theories of computational complexity
      50. 
      Cover image for Computer analysis of cardiac arrhythmias
      51. 
      Computer analysis of cardiac arrhythmias
      by 
      Taylor, Thomas Philip Muir, 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:10868036
      Format: 
      Excerpt: 
      decision tree are documented in the form of flow diagrams. All programming was done in assembly language
      Cover image for Advances in computers. Volume 12
      52. 
      Advances in computers. Volume 12
      by 
      Rubinoff, Morris.
      ScienceDirect https://www.sciencedirect.com/science/book/9780120121120
      ScienceDirect https://www.sciencedirect.com/science/bookseries/00652458/12
      ScienceDirect http://www.sciencedirect.com/science/book/9780120121120
      ScienceDirect http://www.sciencedirect.com/science/bookseries/00652458/12
      Format: 
      Excerpt: 
      Programming Languages; 1. Introduction; 2. Criteria for a Systems Programming Language; 3. Specific Constructs
      Cover image for Handbook of constraint programming
      53. 
      Handbook of constraint programming
      by 
      Rossi, Francesca, 1962-
      ScienceDirect http://www.sciencedirect.com/science/book/9780444527264
      ScienceDirect http://www.sciencedirect.com/science/bookseries/15746526/2
      Format: 
      Excerpt: 
      (Barbara M. Smith) -- Part II : Extensions, Languages, and Applications -- Chapter 12. Constraint Logic
      Cover image for Encyclopedia of information systems
      54. 
      Encyclopedia of information systems
      by 
      Bidgoli, Hossein.
      ScienceDirect http://www.sciencedirect.com/science/referenceworks/9780122272400
      Format: 
      Excerpt: 
      Techniques -- Forensics -- FORTRAN -- Frame Relay -- Future of Information Systems -- Fuzzy Logic Systems
      Cover image for Problem solving : methods, programming, and future concepts
      55. 
      Problem solving : methods, programming, and future concepts
      by 
      German, O. V. (Oleg Vitolʹdovich)
      ScienceDirect http://www.sciencedirect.com/science/book/9780444822260
      ScienceDirect http://www.sciencedirect.com/science/bookseries/09243542/12
      Format: 
      Excerpt: 
      restoration -- 6.2 Weak methods become strong -- 6.3 The role of formal logic in future developments -- 6.4
      Cover image for Logic, methodology and philosophy of science IV : proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971
      56. 
      Logic, methodology and philosophy of science IV : proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971
      by 
      International Congress for Logic, Methodology, and Philosophy of Science (4th : 1971 : Bucharest, Romania)
      ScienceDirect http://www.sciencedirect.com/science/book/9780444104915
      ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/74
      ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=74
      Format: 
      Excerpt: 
      Chapter 17 Features of Natural Languages in Programming LanguagesPART IV PHILOSOPHY OF LOGIC AND
      Select an Action