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:

Alıntı:

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:

Alıntı:

Foundations of deductive databases and logic programming / Apt, Krzysztof R., 1949-

3.

Software testing for conventional and logic programming

by

Jack, Oliver.

Click to View

Format:

Alıntı:

Software testing for conventional and logic programming Jack, Oliver.

4.

Linear Logic and Coordination for Parallel Programming

by

Cruz, Flávio Manuel Fernandes, 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:10820622

Format:

Alıntı:

Linear Logic and Coordination for Parallel Programming / Cruz, Flávio Manuel Fernandes, author.

5.

An inductive logic programming approach to statistical relational learning

by

Kersting, Kristian.

Click to View

Format:

Alıntı:

An inductive logic programming approach to statistical relational learning Kersting, Kristian.

6.

Introduction to programming : learn to program in java with data structures, algorithms, and logic

by

Samoylov, Nick, author.

Click to View

Format:

Alıntı:

Introduction to programming : learn to program in java with data structures, algorithms, and logic /

7.

Mitsubishi FX programmable logic controllers : applications and programming

by

Ridley, J. E. (John E.)

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

Format:

Alıntı:

Mitsubishi FX programmable logic controllers : applications and programming / Ridley, J. E. (John E.)

8.

Mantık ve programlamada belirtisiz kümeler

by

Uzun, Hüseyin

Format:

Alıntı:

Fuzzy sets in logic and programming.

9.

Evolving knowledge bases specification and semantics

by

Leite, João Alexandre.

Click to View

Format:

Alıntı:

Logic programming.

10.

Arithmetic and logic in computer systems

by

Lu, Mi.

Click to View

Format:

Alıntı:

Logic programming.

11.

Reliability prediction from burn-in data fit to reliability models

by

Bernstein, Joseph B., author.

Click to View

Format:

Alıntı:

Logic programming.

12.

Systematic program design from clarity to efficiency

by

Liu, Yanhong Annie, 1965-

Click to View

Format:

Alıntı:

-oriented programming languages with different data, control, and module abstractions. Designed for courses or self

13.

Essential Mathcad for engineering, science, and math ISE

by

Maxfield, Brent.

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

Format:

Alıntı:

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

14.

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:

Alıntı:

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

15.

Programmable controllers : an engineer's guide

by

Parr, E. A. (E. Andrew)

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

Format:

Alıntı:

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

16.

Handbook of critical issues in goal programming

by

Romero, Carlos, 1946-

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

Format:

Alıntı:

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

17.

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:

Alıntı:

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

18.

Computer programming and formal systems

by

Braffort, P. (Paul)

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

Format:

Alıntı:

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

19.

Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach

by

Zhan, Naijun. author.

http://dx.doi.org/10.1007/978-3-319-47016-0

Format:

Alıntı:

Stateflow and Its Combination with Simulink -- 6 Hybrid CSP -- 7 Hybrid Hoare Logic -- 8 The HHL Prover -- 9

20.

Programming language pragmatics

by

Scott, Michael Lee, 1959- author.

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

Format:

Alıntı:

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

21.

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:

Alıntı:

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

22.

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:

Alıntı:

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

23.

Cafe : an industrial-strength algebraic formal method

by

Futatsugi, Kokichi.

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

Format:

Alıntı:

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

24.

Application of artificial intelligence in process control : lecture notes Erasmus intensive course

by

Boullart, L.

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

Format:

Alıntı:

representation by logic ; Object orientation and object oriented programming / Luc Boullart -- Expert system case

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:

Alıntı:

effective computability and their relations with computers and programming languages; a discussion of Church

26.

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:

Alıntı:

Biometrics in Big Data Issues -- Multimodal Biometric Fusion via Ensemble Learning -- Fuzzy Logic for Precise

27.

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:

Alıntı:

between intuitionistic fuzzy programming and goal programming -- Implementation of Fuzzy Logic on FORTRAN

28.

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:

Alıntı:

Horrocks, Ulrike Sattler -- Constraint programming / Francesca Rossi, Peter van Beek, Toby Walsh

29.

Nessus network auditing

by

Beale, Jay.

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

Format:

Alıntı:

for the Nessus community. * Perform a Vulnerability Assessment Use Nessus to find programming errors

30.

Embedded software : the works

by

Walls, Colin.

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

Format:

Alıntı:

Considerations, Networking, Programmable Logic and much more. For those in the field who are looking to broaden

31.

Designing mobile autonomous robots

by

Holland, John M.

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

Format:

Alıntı:

-- Instilling pain, fear and confidence -- Becoming unstuck in time -- Programming robots to be useful

32.

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:

Alıntı:

application of MCDM techniques. Readers with basic appreciation of algebra and linear programming can easily

33.

Constraint processing

by

Dechter, Rina, 1950-

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

Format:

Alıntı:

Optimization; Probabilistic Networks; Constraint Logic Programming; Bibliography.

34.

Reference data for engineers : radio, electronics, computer, and communications.

by

Middleton, Wendy.

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

Format:

Alıntı:

-- Lasers -- Computer organization and programming -- Logic design -- Probability and statistics

35.

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:

Alıntı:

Logic Programming (G. Jäger, R.F. Stärk)). Chapter X. Types in Logic, Mathematics and Programming (R

36.

Programmable controllers : an engineer's guide

by

Parr, E. A. (E. Andrew)

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

Format:

Alıntı:

Numerical applications; 2.9 Combinational and event-driven logic; Chapter 3.Programming style

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:

Alıntı:

. Manna, M. Stickel, and R. Waldinger -- Circumscription and disjunctive logic programming / J. Minker, J

38.

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:

Alıntı:

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

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:

Alıntı:

programming logic I: Some principles of theory; Chapter 3. Space and reversal complexity of probabilistic one

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:

Alıntı:

phrased in the language of Presburger Arithmetic (PA), which is the first order logic on the integers with

41.

Practical foundations for programming languages

by

Harper, Robert.

Click to View

Format:

Alıntı:

. Generic programming; Part VI. Infinite Data Types: 18. Inductive and co-inductive types; 19. Recursive

42.

Fundamentals of HVAC control systems

by

McDowall, Robert.

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

Format:

Alıntı:

-powered controls. Electric controls, control diagrams and control logic. The components of pneumatic systems and

43.

Reconfigurable computing : the theory and practice of FPGA-based computation

by

Hauck, Scott.

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

Format:

Alıntı:

computing vehicles rather than glue-logic or ASIC substitutes Views of FPGA programming beyond Verilog/VHDL

44.

Computational intelligence : concepts to implementations

by

Eberhart, Russell C.

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

Format:

Alıntı:

experts without extensive programming experience. Computational Intelligence: Concepts to Implementations

45.

Programmable logic controllers

by

Bolton, W. (William), 1933-

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

Format:

Alıntı:

processing -- 5. Ladder and functional block programming -- 6. IL, SFC and ST programming methods -- 7

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:

Alıntı:

Belleghem -- Temporal description logics / Alessandro Artale and Enrico Franconi -- Logic programming and

47.

Hardware and computer organization : the software perspective

by

Berger, Arnold S.

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

Format:

Alıntı:

Architecture -- 2. Introduction to Digital Logic -- 3. Introduction to Asynchronous Logic -- 4. Introduction to

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:

Alıntı:

INSTANCES FOR LEARNING; 5 THE INDUCTIVE LOGIC PROGRAMMING ALGORITHM; 6 EVALUATION; 7 RELATED WORK; 8 FUTURE

49.

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:

Alıntı:

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

50.

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:

Alıntı:

decision tree are documented in the form of flow diagrams. All programming was done in assembly language

51.

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:

Alıntı:

Programming Languages; 1. Introduction; 2. Criteria for a Systems Programming Language; 3. Specific Constructs

52.

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:

Alıntı:

(Barbara M. Smith) -- Part II : Extensions, Languages, and Applications -- Chapter 12. Constraint Logic

53.

Encyclopedia of information systems

by

Bidgoli, Hossein.

ScienceDirect http://www.sciencedirect.com/science/referenceworks/9780122272400

Format:

Alıntı:

Techniques -- Forensics -- FORTRAN -- Frame Relay -- Future of Information Systems -- Fuzzy Logic Systems

54.

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:

Alıntı:

restoration -- 6.2 Weak methods become strong -- 6.3 The role of formal logic in future developments -- 6.4

55.

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:

Alıntı:

Chapter 17 Features of Natural Languages in Programming LanguagesPART IV PHILOSOPHY OF LOGIC AND

	{displayName}	{count}
{error}