Search Results for Logic programming.

Principles of logic and logic programming

2026-03-29T13:14:20Z

by Metakides, George, 1945-
ScienceDirect http://www.sciencedirect.com/science/book/9780444816443
Format: Electronic Resources

Foundations of deductive databases and logic programming

2026-03-29T13:14:20Z

by Apt, Krzysztof R., 1949-
ScienceDirect https://www.sciencedirect.com/science/book/9780934613408
Format: Electronic Resources

Software testing for conventional and logic programming

2026-03-29T13:14:20Z

by Jack, Oliver.
Click to View
Format: Electronic Resources

Linear Logic and Coordination for Parallel Programming

2026-03-29T13:14:20Z

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: Books

An inductive logic programming approach to statistical relational learning

2026-03-29T13:14:20Z

by Kersting, Kristian.
Click to View
Format: Electronic Resources

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

2026-03-29T13:14:20Z

by Samoylov, Nick, author.
Click to View
Format: Electronic Resources

Mitsubishi FX programmable logic controllers : applications and programming

2026-03-29T13:14:20Z

by Ridley, J. E. (John E.)
ScienceDirect https://www.sciencedirect.com/science/book/9780750656795
Format: Electronic Resources

Mantık ve programlamada belirtisiz kümeler

2026-03-29T13:14:20Z

by Uzun, Hüseyin
Format: Books

Evolving knowledge bases specification and semantics

2026-03-29T13:14:20Z

by Leite, João Alexandre.
Click to View
Format: Electronic Resources

Arithmetic and logic in computer systems

2026-03-29T13:14:20Z

by Lu, Mi.
Click to View
Format: Electronic Resources

Reliability prediction from burn-in data fit to reliability models

2026-03-29T13:14:20Z

by Bernstein, Joseph B., author.
Click to View
Format: Electronic Resources

Digital design and computer architecture

2026-03-29T13:14:20Z

by Harris, Sarah L., author.
Click to View
Format: Electronic Resources

Systematic program design from clarity to efficiency

2026-03-29T13:14:20Z

by Liu, Yanhong Annie, 1965-
Click to View
Format: Electronic Resources

Essential Mathcad for engineering, science, and math ISE

2026-03-29T13:14:20Z

by Maxfield, Brent.
ScienceDirect http://www.sciencedirect.com/science/book/9780123747839
Format: Electronic Resources

Apple I replica creation: back to the garage

2026-03-29T13:14:20Z

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: Electronic Resources

Programmable controllers : an engineer's guide

2026-03-29T13:14:20Z

by Parr, E. A. (E. Andrew)
ScienceDirect http://www.sciencedirect.com/science/book/9780750657570
Format: Electronic Resources

Handbook of critical issues in goal programming

2026-03-29T13:14:20Z

by Romero, Carlos, 1946-
ScienceDirect http://www.sciencedirect.com/science/book/9780080406619
Format: Electronic Resources

Computer programming and formal systems

2026-03-29T13:14:20Z

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: Electronic Resources

Computer programming and formal systems

2026-03-29T13:14:20Z

by Braffort, P. (Paul)
ScienceDirect http://www.sciencedirect.com/science/book/9780444533913
Format: Electronic Resources

Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach

2026-03-29T13:14:20Z

by Zhan, Naijun. author.
http://dx.doi.org/10.1007/978-3-319-47016-0
Format: Electronic Resources

Programmable logic controllers

2026-03-29T13:14:20Z

by Bolton, W. (William), 1933-
ScienceDirect http://www.sciencedirect.com/science/book/9781856177511 ScienceDirect http://www.sciencedirect.com/science/book/9780128029299
Format: Electronic Resources

Programming language pragmatics

2026-03-29T13:14:20Z

by Scott, Michael Lee, 1959- author.
ScienceDirect http://www.sciencedirect.com/science/book/9780123745149
Format: Electronic Resources

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

2026-03-29T13:14:20Z

by Wall, David, 1974-
ScienceDirect http://www.sciencedirect.com/science/book/9780127323503
Format: Electronic Resources

Cafe : an industrial-strength algebraic formal method

2026-03-29T13:14:20Z

by Futatsugi, Kokichi.
ScienceDirect https://www.sciencedirect.com/science/book/9780444505569
Format: Electronic Resources

Classical recursion theory : the theory of functions and sets of natural numbers

2026-03-29T13:14:20Z

by Odifreddi, Piergiorgio, 1950-
ScienceDirect http://www.sciencedirect.com/science/book/9780444894830 ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=125
Format: Electronic Resources

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

2026-03-29T13:14:20Z

by Boullart, L.
ScienceDirect http://www.sciencedirect.com/science/book/9780080420165
Format: Electronic Resources

Proceedings of Sixth International Conference on Soft Computing for Problem Solving SocProS 2016, Volume 1

2026-03-29T13:14:20Z

by Deep, Kusum. editor.
http://dx.doi.org/10.1007/978-981-10-3322-3
Format: Electronic Resources

Biometric Security and Privacy Opportunities & Challenges in The Big Data Era

2026-03-29T13:14:20Z

by Jiang, Richard. editor.
http://dx.doi.org/10.1007/978-3-319-47301-7
Format: Electronic Resources

Handbook of knowledge representation

2026-03-29T13:14:20Z

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: Electronic Resources

Nessus network auditing

2026-03-29T13:14:20Z

by Beale, Jay.
ScienceDirect http://www.sciencedirect.com/science/book/9781597492089
Format: Electronic Resources

Embedded software : the works

2026-03-29T13:14:20Z

by Walls, Colin.
ScienceDirect http://www.sciencedirect.com/science/book/9780750679541
Format: Electronic Resources

Designing mobile autonomous robots

2026-03-29T13:14:20Z

by Holland, John M.
ScienceDirect http://www.sciencedirect.com/science/book/9780750676830
Format: Electronic Resources

Constraint processing

2026-03-29T13:14:20Z

by Dechter, Rina, 1950-
ScienceDirect http://www.sciencedirect.com/science/book/9781558608900
Format: Electronic Resources

Multiple criteria analysis for agricultural decisions

2026-03-29T13:14:20Z

by Romero, Carlos, 1946-
ScienceDirect http://www.sciencedirect.com/science/book/9780444503435 ScienceDirect http://www.sciencedirect.com/science/bookseries/09265589/11
Format: Electronic Resources

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

2026-03-29T13:14:20Z

by Middleton, Wendy.
ScienceDirect http://www.sciencedirect.com/science/book/9780750672917
Format: Electronic Resources

Handbook of proof theory

2026-03-29T13:14:20Z

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: Electronic Resources

Programmable controllers : an engineer's guide

2026-03-29T13:14:20Z

by Parr, E. A. (E. Andrew)
ScienceDirect https://www.sciencedirect.com/science/book/9780750604987
Format: Electronic Resources

Artificial intelligence and mathematical theory of computation : papers in honor of John McCarthy

2026-03-29T13:14:20Z

by McCarthy, John, 1927-2011.
ScienceDirect https://www.sciencedirect.com/science/book/9780124500105
Format: Electronic Resources

Logic-based decision support : mixed integer model formulation

2026-03-29T13:14:20Z

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: Electronic Resources

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

2026-03-29T13:14:20Z

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: Electronic Resources

The Computational Complexity of Presburger Arithmetic

2026-03-29T13:14:20Z

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: Books

Practical foundations for programming languages

2026-03-29T13:14:20Z

by Harper, Robert.
Click to View
Format: Electronic Resources

Fundamentals of HVAC control systems

2026-03-29T13:14:20Z

by McDowall, Robert.
ScienceDirect http://www.sciencedirect.com/science/book/9780080552330
Format: Electronic Resources

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

2026-03-29T13:14:20Z

by Hauck, Scott.
ScienceDirect https://www.sciencedirect.com/science/book/9780123705228
Format: Electronic Resources

Computational intelligence : concepts to implementations

2026-03-29T13:14:20Z

by Eberhart, Russell C.
ScienceDirect http://www.sciencedirect.com/science/book/9781558607590
Format: Electronic Resources

Programmable logic controllers

2026-03-29T13:14:20Z

by Bolton, W. (William), 1933-
ScienceDirect http://www.sciencedirect.com/science/book/9780750681124
Format: Electronic Resources

Handbook of temporal reasoning in artificial intelligence

2026-03-29T13:14:20Z

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: Electronic Resources

Hardware and computer organization : the software perspective

2026-03-29T13:14:20Z

by Berger, Arnold S.
ScienceDirect http://www.sciencedirect.com/science/book/9780750678865
Format: Electronic Resources

Machine learning : proceedings of the Twelfth International Conference on Machine Learning, Tahoe City, California, July 9-12, 1995

2026-03-29T13:14:20Z

by International Conference on Machine Learning (12th : 1995 : Tahoe City, Calif.)
ScienceDirect http://www.sciencedirect.com/science/book/9781558603776
Format: Electronic Resources

Theories of computational complexity

2026-03-29T13:14:20Z

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: Electronic Resources

Computer analysis of cardiac arrhythmias

2026-03-29T13:14:20Z

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: Books

Advances in computers. Volume 12

2026-03-29T13:14:20Z

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: Electronic Resources

Handbook of constraint programming

2026-03-29T13:14:20Z

by Rossi, Francesca, 1962-
ScienceDirect http://www.sciencedirect.com/science/book/9780444527264 ScienceDirect http://www.sciencedirect.com/science/bookseries/15746526/2
Format: Electronic Resources

Encyclopedia of information systems

2026-03-29T13:14:20Z

by Bidgoli, Hossein.
ScienceDirect http://www.sciencedirect.com/science/referenceworks/9780122272400
Format: Electronic Resources

Problem solving : methods, programming, and future concepts

2026-03-29T13:14:20Z

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: Electronic Resources

Logic, methodology and philosophy of science IV : proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971

2026-03-29T13:14:20Z

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: Electronic Resources