techniques-logic-programming

You May Like

THE ART OF PROLOG: ADVANCED PROGRAMMING TECHNIQUES (LOGIC By Leon Sterling
THE ART OF PROLOG: ADVANCED PROGRAMMING TECHNIQUES (LOGIC By Leon Sterling

$100.95

View Details
From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functio
From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functio

$66.85

View Details
CONTROL TECHNIQUES FM-4 PLC MODULE
CONTROL TECHNIQUES FM-4 PLC MODULE

$1605.59

View Details
Techniques of Prolog Programming with - Paperback, by Van Le T. - Acceptable
Techniques of Prolog Programming with - Paperback, by Van Le T. - Acceptable

$25.38

View Details
The Art of Prolog, second edition: Advanced Programming Techniques (Logic Progr
The Art of Prolog, second edition: Advanced Programming Techniques (Logic Progr

$18.86

View Details
chess computer programming chess early techniques logic hardcover
chess computer programming chess early techniques logic hardcover

$20.00

View Details
The Art of Prolog, Second Edition: Advanced Programming Techniques (Logic Pr...
The Art of Prolog, Second Edition: Advanced Programming Techniques (Logic Pr...

$38.89

View Details
The Art of Prolog, Second Edition: Advanced Programming Techniques (Logic Progra
The Art of Prolog, Second Edition: Advanced Programming Techniques (Logic Progra

$37.91

View Details
The Art of Prolog, Second Edition: Advanced Programming Techniques [Logic Progra
The Art of Prolog, Second Edition: Advanced Programming Techniques [Logic Progra

$37.78

View Details
Logic Programming Ser.: The Art of Prolog : Advanced Programming Techniques...
Logic Programming Ser.: The Art of Prolog : Advanced Programming Techniques...

$60.00

View Details
Techniques of Prolog Programming with Implementation of Logical Negation and...
Techniques of Prolog Programming with Implementation of Logical Negation and...

$23.69

View Details
Logic-Based 01 Constraint Programming by Peter Barth (English) Hardcover Book
Logic-Based 01 Constraint Programming by Peter Barth (English) Hardcover Book

$127.10

View Details
Logic-Based Program Synthesis and Transformation: 22nd International Symposium,
Logic-Based Program Synthesis and Transformation: 22nd International Symposium,

$85.10

View Details
Logic-Based Program Synthesis and Transformation: 21st International Symposium,
Logic-Based Program Synthesis and Transformation: 21st International Symposium,

$85.10

View Details
priority express CONTROL TECHNIQUES plc SM-CAN OPEN refurbished
priority express CONTROL TECHNIQUES plc SM-CAN OPEN refurbished

$506.00

View Details
Programming Logic and Design Comprehensive By Joyce Farrell
Programming Logic and Design Comprehensive By Joyce Farrell

$9.90

View Details
Programming Logic and Design, Comprehensive by Farrell, Joyce (Paperback)
Programming Logic and Design, Comprehensive by Farrell, Joyce (Paperback)

$9.90

View Details
Techniques of Prolog Programming With Implementation of Logical Negation and ...
Techniques of Prolog Programming With Implementation of Logical Negation and ...

$75.00

View Details
Techniques in Animal Cytogenetics
Techniques in Animal Cytogenetics

$19.11

View Details
Adaptive Resonance Theory Microchips: Circuit Design Techniques (Hardcover)
Adaptive Resonance Theory Microchips: Circuit Design Techniques (Hardcover)

$153.00

View Details
The Art of Prolog: Advanced Programming Techniques (Mit Press Series in Logic Pr
The Art of Prolog: Advanced Programming Techniques (Mit Press Series in Logic Pr

$27.15

View Details
Techniques of Prolog Programming with Implementation of Logic... - 9780471571759
Techniques of Prolog Programming with Implementation of Logic... - 9780471571759

$175.84

View Details
From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functio
From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functio

$71.64

View Details
Logic-based Program Synthesis and Transformation : 27th International Symposi...
Logic-based Program Synthesis and Transformation : 27th International Symposi...

$67.02

View Details
Logic-Based Program Synthesis and Transformation : 22nd International Symposi...
Logic-Based Program Synthesis and Transformation : 22nd International Symposi...

$73.34

View Details
Serious Cryptography : A Practical Introduction to Modern Encryption, Paperba...
Serious Cryptography : A Practical Introduction to Modern Encryption, Paperba...

$43.41

View Details
Logic-Based 01 Constraint Programming by Peter Barth (English) Paperback Book
Logic-Based 01 Constraint Programming by Peter Barth (English) Paperback Book

$125.44

View Details
Logic-Based Program Synthesis and Transformation: 20th International Symposium,
Logic-Based Program Synthesis and Transformation: 20th International Symposium,

$67.04

View Details
The Art of Prolog: Advanced Programming Techniques (Mit Press Series in Logic P,
The Art of Prolog: Advanced Programming Techniques (Mit Press Series in Logic P,

$35.99

View Details
Logic-Based Methods for Optimization: Combining Optimization and Constraint Sati
Logic-Based Methods for Optimization: Combining Optimization and Constraint Sati

$245.66

View Details
Algorithms: Design Techniques and Analysis [Revised Edition] [Lecture Notes Comp
Algorithms: Design Techniques and Analysis [Revised Edition] [Lecture Notes Comp

$138.19

View Details
OCR Computing for A-level: F452 - Programming Techniques and Log
OCR Computing for A-level: F452 - Programming Techniques and Log

$9.35

View Details
iOS Forensics 101: Extracting Logical And Physical Data From iPhone, iPad And Ma
iOS Forensics 101: Extracting Logical And Physical Data From iPhone, iPad And Ma

$37.21

View Details
tl;dr Computing AS F452: Programming Techniques and Logical Methods for OCR: Tex
tl;dr Computing AS F452: Programming Techniques and Logical Methods for OCR: Tex

$16.50

View Details
Quantum Mechanics Using Computer Algebra : Includes Sample Programs in C++, S...
Quantum Mechanics Using Computer Algebra : Includes Sample Programs in C++, S...

$74.57

View Details
Techniques of Prolog Programming With Implementation of Logical Negation and ...
Techniques of Prolog Programming With Implementation of Logical Negation and ...

$179.33

View Details
Techniques of Prolog Programming With Implementation of Logical Negation and ...
Techniques of Prolog Programming With Implementation of Logical Negation and ...

$179.33

View Details
Logic-Based Program Synthesis and Transformation : 22nd International Symposi...
Logic-Based Program Synthesis and Transformation : 22nd International Symposi...

$71.91

View Details
The Art Of Prolog: Advanced Programming Techniques
The Art Of Prolog: Advanced Programming Techniques

$127.22

View Details
Introduction To Concurrency In Programming Languages
Introduction To Concurrency In Programming Languages

$119.55

View Details
Logic-Based Program Synthesis and Transformation: 27th International Symposium,
Logic-Based Program Synthesis and Transformation: 27th International Symposium,

$67.04

View Details
Agent_zero: Toward Neurocognitive Foundations for Generative Social Science
Agent_zero: Toward Neurocognitive Foundations for Generative Social Science

$27.55

View Details
Pyramid Algorithms: A Dynamic Programming Approach to Curves and Surfaces for Ge
Pyramid Algorithms: A Dynamic Programming Approach to Curves and Surfaces for Ge

$97.83

View Details
Exploring Statistics: Tales of Distributions - Chris Spatz 2019 HC LIKE NEW 12th
Exploring Statistics: Tales of Distributions - Chris Spatz 2019 HC LIKE NEW 12th

$30.99

View Details
OPERATORS FOR SIMILARITY SEARCH: SEMANTICS, TECHNIQUES AND By Deepak P & Prasad
OPERATORS FOR SIMILARITY SEARCH: SEMANTICS, TECHNIQUES AND By Deepak P & Prasad

$40.95

View Details
Entry Level 2D Game Creation Using Construct: Practical Tips & Techniques V...
Entry Level 2D Game Creation Using Construct: Practical Tips & Techniques V...

$20.65

View Details
Logic-Based Program Synthesis and Transformation: 26th International Symposium,
Logic-Based Program Synthesis and Transformation: 26th International Symposium,

$77.90

View Details
Fuzzy Logic Control in Energy Systems : With Design Applications in Matlab/Si...
Fuzzy Logic Control in Energy Systems : With Design Applications in Matlab/Si...

$173.03

View Details
An Introduction to the Technique of Formative Processes in Set
An Introduction to the Technique of Formative Processes in Set

$54.95

View Details
SQL Server Database Programming with Java: Concepts, Designs and Implementations
SQL Server Database Programming with Java: Concepts, Designs and Implementations

$67.84

View Details
tl;dr Computing AS F452: Programming Techniques and Logical Methods for OCR: Tex
tl;dr Computing AS F452: Programming Techniques and Logical Methods for OCR: Tex

$21.13

View Details
Techniques of PROLOG Programming with Implementation of Logical Negation and
Techniques of PROLOG Programming with Implementation of Logical Negation and

$218.47

View Details
SQL Server Database Programming with Java: Concepts, Designs and Implementations
SQL Server Database Programming with Java: Concepts, Designs and Implementations

$74.40

View Details
Logic-Based Methods for Optimization : Combining Optimization and Constraint ...
Logic-Based Methods for Optimization : Combining Optimization and Constraint ...

$229.53

View Details
Classification Algorithms for Codes and Designs (Algorithms and Computation in..
Classification Algorithms for Codes and Designs (Algorithms and Computation in..

$14.62

View Details
Deductive Program Design by Manfred Broy (English) Paperback Book
Deductive Program Design by Manfred Broy (English) Paperback Book

$242.41

View Details
Nonmonotonic Reasoning: Logical Foundations of Commonsense by Gerhard Brewka (En
Nonmonotonic Reasoning: Logical Foundations of Commonsense by Gerhard Brewka (En

$57.99

View Details
Higher Order Operational Techniques in Semantics by Gordon, Andrew D. (English)
Higher Order Operational Techniques in Semantics by Gordon, Andrew D. (English)

$127.76

View Details
PROGRAMMABLE LOGIC CONTROLLERS (Paperback / softback)  (9780128029299)
PROGRAMMABLE LOGIC CONTROLLERS (Paperback / softback) (9780128029299)

$64.32

View Details
Higher Order Operational Techniques in Semantics: 12 (Hardcover)
Higher Order Operational Techniques in Semantics: 12 (Hardcover)

$111.60

View Details
Construct 2 & Construct Classic Rapid Game Creation Practical Tips & Techniques
Construct 2 & Construct Classic Rapid Game Creation Practical Tips & Techniques

$24.25

View Details
Microcontroller Theory and Applications with the PIC18F by M. Rafiquzzaman (Engl
Microcontroller Theory and Applications with the PIC18F by M. Rafiquzzaman (Engl

$162.95

View Details
Foundations of Linux Debugging, Disassembling, and Reversing: Analyze Binary Cod
Foundations of Linux Debugging, Disassembling, and Reversing: Analyze Binary Cod

$47.00

View Details
Randomization and Approximation Techniques in Computer Science : Internationa...
Randomization and Approximation Techniques in Computer Science : Internationa...

$67.02

View Details
Deductive Program Design by Manfred Broy (English) Hardcover Book
Deductive Program Design by Manfred Broy (English) Hardcover Book

$244.57

View Details
Design and Analysis of Algorithms: Step by Step Tutorials by Dr Paras Jain Paper
Design and Analysis of Algorithms: Step by Step Tutorials by Dr Paras Jain Paper

$50.56

View Details
Tools and Algorithms for the Construction and Analysis of Systems : Third Int...
Tools and Algorithms for the Construction and Analysis of Systems : Third Int...

$68.69

View Details
Pyramid Algorithms : A Dynamic Programming Approach to Curves and
Pyramid Algorithms : A Dynamic Programming Approach to Curves and

$107.65

View Details
Recent Trends in Algebraic Development Techniques : 13th International Worksh...
Recent Trends in Algebraic Development Techniques : 13th International Worksh...

$67.82

View Details
Randomization and Approximation Techniques in Computer Science : 6th Internat...
Randomization and Approximation Techniques in Computer Science : 6th Internat...

$67.45

View Details
Recent Trends in Algebraic Development Techniques: 20th International Workshop,
Recent Trends in Algebraic Development Techniques: 20th International Workshop,

$67.04

View Details
Ismail Hakki Altas - Fuzzy Logic Control in Energy Systems with desig - T9000z
Ismail Hakki Altas - Fuzzy Logic Control in Energy Systems with desig - T9000z

$248.25

View Details
Techniques of Prolog Programming with Implementation of Logical Negation and Qua
Techniques of Prolog Programming with Implementation of Logical Negation and Qua

$219.51

View Details
Rewriting Techniques and Applications: 3rd International Conference, RTA-89, Cha
Rewriting Techniques and Applications: 3rd International Conference, RTA-89, Cha

$69.39

View Details
Recent Trends in Algebraic Development Techniques : 14th International Worksh...
Recent Trends in Algebraic Development Techniques : 14th International Worksh...

$68.92

View Details
Theory and Applications of Satisfiability Testing - Sat 2013 : 16th Internati...
Theory and Applications of Satisfiability Testing - Sat 2013 : 16th Internati...

$66.21

View Details
HIGHER ORDER OPERATIONAL TECHNIQUES IN SEMANTICS By Andrew D. Gordon & Andrew M.
HIGHER ORDER OPERATIONAL TECHNIQUES IN SEMANTICS By Andrew D. Gordon & Andrew M.

$63.95

View Details
Randomization and Approximation Techniques in Computer Science: International Wo
Randomization and Approximation Techniques in Computer Science: International Wo

$67.04

View Details
Techniques of Prolog Programming with Implementation of Logical Negation and Qua
Techniques of Prolog Programming with Implementation of Logical Negation and Qua

$257.22

View Details
Operators for Similarity Search : Semantics, Techniques and Usage Scenarios, ...
Operators for Similarity Search : Semantics, Techniques and Usage Scenarios, ...

$70.13

View Details
Rewriting Techniques and Applications: 8th International Conference, RTA-97, Sit
Rewriting Techniques and Applications: 8th International Conference, RTA-97, Sit

$67.84

View Details
A Reformulation-Linearization Technique for Solving Discrete and Continuous Nonc
A Reformulation-Linearization Technique for Solving Discrete and Continuous Nonc

$242.66

View Details
Recent Trends in Algebraic Development Techniques: 13th International Workshop,
Recent Trends in Algebraic Development Techniques: 13th International Workshop,

$67.84

View Details
Joshua M. Epstein Agent_Zero (Hardback) Princeton Studies in Complexity
Joshua M. Epstein Agent_Zero (Hardback) Princeton Studies in Complexity

$86.40

View Details
Foundations of ARM64 Linux Debugging, Disassembling, and Reversing: Analyze Code
Foundations of ARM64 Linux Debugging, Disassembling, and Reversing: Analyze Code

$47.00

View Details
Giese - Formal Techniques for Distributed Systems   Joint 14th IFIP W - S9000z
Giese - Formal Techniques for Distributed Systems Joint 14th IFIP W - S9000z

$68.72

View Details
Randomization and Approximation Techniques in Computer Science: Second Internati
Randomization and Approximation Techniques in Computer Science: Second Internati

$73.70

View Details
Rewriting Techniques and Applications: Bordeaux, France, May 25-27, 1987. Procee
Rewriting Techniques and Applications: Bordeaux, France, May 25-27, 1987. Procee

$48.46

View Details
Randomization and Approximation Techniques in Computer Science: 6th Internationa
Randomization and Approximation Techniques in Computer Science: 6th Internationa

$67.47

View Details
Entry Level 2D Game Creation using CONSTRUCT: Practical Tips & Techniques Volume
Entry Level 2D Game Creation using CONSTRUCT: Practical Tips & Techniques Volume

$26.10

View Details
Mossakowski - Recent Trends in Algebraic Development Techniques   20t - T9000z
Mossakowski - Recent Trends in Algebraic Development Techniques 20t - T9000z

$75.70

View Details
Rewriting Techniques and Applications: 20th International Conference, RTA 2009,
Rewriting Techniques and Applications: 20th International Conference, RTA 2009,

$67.23

View Details
The Decision Model: A Business Logic Framework Linking Business and Technology b
The Decision Model: A Business Logic Framework Linking Business and Technology b

$149.00

View Details
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Tec
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Tec

$68.71

View Details
Theory and Applications of Satisfiability Testing - SAT 2013: 16th International
Theory and Applications of Satisfiability Testing - SAT 2013: 16th International

$67.23

View Details
Logic-Based Methods for Optimization : Combining Optimization and Constraint ...
Logic-Based Methods for Optimization : Combining Optimization and Constraint ...

$229.52

View Details
A Reformulation-Linearization Technique for Solving Discrete and Continuous Nonc
A Reformulation-Linearization Technique for Solving Discrete and Continuous Nonc

$245.34

View Details