Search Results for 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-

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-

3.

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.)

4.

Essential Mathcad for engineering, science, and math ISE

by

Maxfield, Brent.

ScienceDirect http://www.sciencedirect.com/science/book/9780123747839

Format:

Excerpt:

-- Selected Mathcad Functions -- Plotting -- Simple Logic Programming -- Introduction to Symbolic Calculations

5.

Apple I replica creation: back to the garage

by

Owad, Tom.

Available from ScienceDirect. Online version available for university members only. This requires an institutional login off-campus
ScienceDirect https://www.sciencedirect.com/science/book/9781931836401

Format:

Excerpt:

Cover; Contents; Foreword; The History of the Apple 1; Tools and Materials; Digital Logic; Building

6.

Programmable controllers : an engineer's guide

by

Parr, E. A. (E. Andrew)

ScienceDirect http://www.sciencedirect.com/science/book/9780750657570

Format:

Excerpt:

Preface; Computers and industrial control; Programming techniques; Programming style; Analog

7.

Handbook of critical issues in goal programming

by

Romero, Carlos, 1946-

ScienceDirect http://www.sciencedirect.com/science/book/9780080406619

Format:

Excerpt:

Criteria Decision Making (MCDM) paradigm. GP combines the logic of optimisation in mathematical programming

8.

Computer programming and formal systems

by

Braffort, P. (Paul), editor.

ScienceDirect https://www.sciencedirect.com/science/book/9780444534002
ScienceDirect https://www.sciencedirect.com/science/bookseries/0049237X/35
ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=35

Format:

Excerpt:

equations / A. Robinson -- Programming and the theory of automata / Arthur W. Burks -- Algebraic theory of

9.

Computer programming and formal systems

by

Braffort, P. (Paul)

ScienceDirect http://www.sciencedirect.com/science/book/9780444533913

Format:

Excerpt:

equations / A. Robinson -- Programming and the theory of automata / Arthur W. Burks -- Algebraic theory of

10.

Programmable logic controllers

by

Bolton, W. (William), 1933-

ScienceDirect http://www.sciencedirect.com/science/book/9781856177511
ScienceDirect http://www.sciencedirect.com/science/book/9780128029299

Format:

Excerpt:

technology. Ladder programming is highlighted throughout with detailed coverage of design characteristics

11.

Programming language pragmatics

by

Scott, Michael Lee, 1959- author.

ScienceDirect http://www.sciencedirect.com/science/book/9780123745149

Format:

Excerpt:

abstraction and object orientation -- Functional languages -- Logic languages -- Concurrency -- Scripting

12.

Multi-tier application programming with PHP : practical guide for architects and programmers

by

Wall, David, 1974-

ScienceDirect http://www.sciencedirect.com/science/book/9780127323503

Format:

Excerpt:

Accessor Layer; Chapter 8. Business Logic; Chapter 9. The Presentation Layer; Chapter 10. The Elsewhere

13.

Cafe : an industrial-strength algebraic formal method

by

Futatsugi, Kokichi.

ScienceDirect https://www.sciencedirect.com/science/book/9780444505569

Format:

Excerpt:

; Contents; Chapter 1. Building Equational Proving Tools by Reflection in Rewriting Logic; Chapter 2. CafeOBJ

14.

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

15.

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

16.

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

17.

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

18.

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

19.

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

20.

Constraint processing

by

Dechter, Rina, 1950-

ScienceDirect http://www.sciencedirect.com/science/book/9781558608900

Format:

Excerpt:

Optimization; Probabilistic Networks; Constraint Logic Programming; Bibliography.

21.

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

22.

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

23.

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

24.

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

25.

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

26.

Logic-based decision support : mixed integer model formulation

by

Jeroslow, Robert G., 1942-1988.

Available from ScienceDirect. Online version available for university members only. This requires an institutional login off-campus.
ScienceDirect http://www.sciencedirect.com/science/book/9780444871190
ScienceDirect http://www.sciencedirect.com/science/publication?issn=01675060&volume=40
ScienceDirect https://www.sciencedirect.com/science/book/9780444871190

Format:

Excerpt:

Logic and Mixed Integer Programming; Lecture 6. A Primer on Predicate Logic; Lecture 7. Computational

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

27.

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

28.

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

29.

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

30.

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

31.

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

32.

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

33.

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 Machine learning : proceedings of the Twelfth International Conference on Machine Learning, Tahoe City, California, July 9-12, 1995

34.

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

35.

Theories of computational complexity

by

Calude, Cristian, 1952-

Available from ScienceDirect. Online version available for university members only. This requires an institutional login off-campus.
ScienceDirect http://www.sciencedirect.com/science/book/9780444703569
ScienceDirect http://www.sciencedirect.com/science/publication?issn=01675060&volume=35
ScienceDirect http://www.sciencedirect.com/science/bookseries/01675060/35
ScienceDirect https://www.sciencedirect.com/science/book/9780444703569

Format:

Excerpt:

, constructive topology, probability and programming theories are established. The facts are presented in detail

36.

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

37.

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

38.

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

39.

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

40.

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

	{displayName}	{count}
{error}