logic-based-programming

You May Like

Logic for Programming, Artificial Intelligence, and Reasoning: 19th Internationa
Logic for Programming, Artificial Intelligence, and Reasoning: 19th Internationa

$29.93

View Details
Program Logics for Certified - Hardcover, by Appel Andrew W. - Very Good
Program Logics for Certified - Hardcover, by Appel Andrew W. - Very Good

$101.73

View Details
Foundations of Logic Programming (Symbolic - Hardcover, by Lloyd J.W. - Good
Foundations of Logic Programming (Symbolic - Hardcover, by Lloyd J.W. - Good

$55.90

View Details
DLP - A Language for Distributed Logic Programming: Design, Semantics and
DLP - A Language for Distributed Logic Programming: Design, Semantics and

$52.81

View Details
Logic-Based Program Synthesis and Transformation: 27th (2018)
Logic-Based Program Synthesis and Transformation: 27th (2018)

$44.06

View Details
The Logic Programming Paradigm : A 25-Year Perspective Hardcover
The Logic Programming Paradigm : A 25-Year Perspective Hardcover

$17.69

View Details
Logic-Based 0–1 Constraint Programming (Operations Research/Computer Science Int
Logic-Based 0–1 Constraint Programming (Operations Research/Computer Science Int

$87.00

View Details
Functional and Logic Programming: 4th Fuji International Symposium, Flops'99...
Functional and Logic Programming: 4th Fuji International Symposium, Flops'99...

$11.87

View Details
Logic Modeling Methods in Program Evaluation Perfect Joy A. Frech
Logic Modeling Methods in Program Evaluation Perfect Joy A. Frech

$7.36

View Details
The Logic Programming Paradigm by Apt, K.; Marek, V. W.
The Logic Programming Paradigm by Apt, K.; Marek, V. W.

$16.08

View Details
Programming: Visual Logic & Design
Programming: Visual Logic & Design

$25.00

View Details
Logic Programming: The Joint [9th] International Conference & Symposium
Logic Programming: The Joint [9th] International Conference & Symposium

$8.56

View Details
Deterministic Operations Research: Models and Methods in Linear Optim - GOOD
Deterministic Operations Research: Models and Methods in Linear Optim - GOOD

$62.49

View Details
Logic Colloquium '92 (Studies in - Hardcover, by Csirmaz Lazlo; Gabbay - Good
Logic Colloquium '92 (Studies in - Hardcover, by Csirmaz Lazlo; Gabbay - Good

$28.26

View Details
The Logic Programming Tutor by Paine, Jocelyn
The Logic Programming Tutor by Paine, Jocelyn

$107.00

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

$126.85

View Details
Lab Manual for Starting Out with Programming Logic  Design - VERY GOOD
Lab Manual for Starting Out with Programming Logic Design - VERY GOOD

$7.07

View Details
Logic-Based Program Synthesis and Transformation: 9th International Workshop,...
Logic-Based Program Synthesis and Transformation: 9th International Workshop,...

$37.84

View Details
Logic Modeling Methods in Program Evaluation
Logic Modeling Methods in Program Evaluation

$54.63

View Details
Logic Pro 7 Power! [With CDROM] by Merton, Orren
Logic Pro 7 Power! [With CDROM] by Merton, Orren

$11.13

View Details
A Defeasible Logic Programming-Based Framework to Support (2014)
A Defeasible Logic Programming-Based Framework to Support (2014)

$140.15

View Details
Programming Logic and Design, Comprehensive by Joyce Farrell w/disk
Programming Logic and Design, Comprehensive by Joyce Farrell w/disk

$11.99

View Details
Logic-Based Program Synthesis and Transformation: 8th International Workshop,...
Logic-Based Program Synthesis and Transformation: 8th International Workshop,...

$34.36

View Details
Logic-Based 0-1 Constraint Programming
Logic-Based 0-1 Constraint Programming

$104.56

View Details
Constraint Logic Programming Using Eclipse by Apt, Krzysztof R.; Wallace, Mark
Constraint Logic Programming Using Eclipse by Apt, Krzysztof R.; Wallace, Mark

$16.08

View Details
From Standard Logic to Logic Programming Introducing a Logic Based Approach to
From Standard Logic to Logic Programming Introducing a Logic Based Approach to

$19.99

View Details
Just Enough Programming Logic and Design - Paperback - Good condition
Just Enough Programming Logic and Design - Paperback - Good condition

$17.99

View Details
Logic Programming and Nonmonotonic Reasoning: 6th International Conference,...
Logic Programming and Nonmonotonic Reasoning: 6th International Conference,...

$50.63

View Details
LOGIC-BASED KNOWLEDGE REPRESENTATION (LOGIC PROGRAMMING) By Peter Jackson & Han
LOGIC-BASED KNOWLEDGE REPRESENTATION (LOGIC PROGRAMMING) By Peter Jackson & Han

$42.95

View Details
Discrete Mathematics and Its Applications Ser.: Handbook of Discrete and...
Discrete Mathematics and Its Applications Ser.: Handbook of Discrete and...

$239.39

View Details
A DEFEASIBLE LOGIC PROGRAMMING-BASED FRAMEWORK TO SUPPORT By Naeem Khalid Janjua
A DEFEASIBLE LOGIC PROGRAMMING-BASED FRAMEWORK TO SUPPORT By Naeem Khalid Janjua

$81.95

View Details
Logic Programming with PROLOG by Bramer, Max; Bramer, M. A.
Logic Programming with PROLOG by Bramer, Max; Bramer, M. A.

$24.81

View Details
Programming Logic and Design, Comprehensive, Fourth Edition by Farrell, Joyce
Programming Logic and Design, Comprehensive, Fourth Edition by Farrell, Joyce

$7.33

View Details
Logic Pro 9 Power! : The Comprehensive Guide Orren, Anker, Kevin
Logic Pro 9 Power! : The Comprehensive Guide Orren, Anker, Kevin

$9.26

View Details
TOPOLOGY VIA LOGIC (CAMBRIDGE TRACTS IN THEORETICAL By Steven Vickers Hardcover
TOPOLOGY VIA LOGIC (CAMBRIDGE TRACTS IN THEORETICAL By Steven Vickers Hardcover

$42.49

View Details
Gupta - Logic-Based Program Synthesis and Transformation   23rd Inter - S9000z
Gupta - Logic-Based Program Synthesis and Transformation 23rd Inter - S9000z

$75.70

View Details
Logic Pro 7 Power! [With CDROM] By Merton, Orren
Logic Pro 7 Power! [With CDROM] By Merton, Orren

$17.99

View Details
THE CRAFT OF PROLOG (LOGIC PROGRAMMING) By Richard A. O'keefe - Hardcover 1990
THE CRAFT OF PROLOG (LOGIC PROGRAMMING) By Richard A. O'keefe - Hardcover 1990

$87.00

View Details
Linear Programming and Algorithms for Communication Networks : A Practical Guide
Linear Programming and Algorithms for Communication Networks : A Practical Guide

$90.00

View Details
Logic-Based Program Synthesis and Transformation: 23rd International Symposium,
Logic-Based Program Synthesis and Transformation: 23rd International Symposium,

$73.62

View Details
Inductive Logic Programming Hardcover
Inductive Logic Programming Hardcover

$17.95

View Details
Logic Program Synthesis and Transformation: 5th International Workshop, Lopstr
Logic Program Synthesis and Transformation: 5th International Workshop, Lopstr

$63.89

View Details
Computer Logic: Design Principles and Applications by Hsu, John Y.
Computer Logic: Design Principles and Applications by Hsu, John Y.

$20.44

View Details
Types in Logic Programming
Types in Logic Programming

$16.08

View Details
Logic Program Synthesis and Transformation: 7th International Workshop,...
Logic Program Synthesis and Transformation: 7th International Workshop,...

$25.96

View Details
Programming with Higher-Order Logic (Hardback or Cased Book)
Programming with Higher-Order Logic (Hardback or Cased Book)

$64.88

View Details
Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Math
Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Math

$14.90

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

$84.85

View Details
Logic Programming Languages : Constraints, Functions, and Objects, Paperback ...
Logic Programming Languages : Constraints, Functions, and Objects, Paperback ...

$30.92

View Details
Logic-Based Program Synthesis and Transformation : 17th International Symposi...
Logic-Based Program Synthesis and Transformation : 17th International Symposi...

$66.78

View Details
Integer Programming
Integer Programming

$9.27

View Details
King - Logic-Based Program Synthesis and Transformation  17th Interna - S9000z
King - Logic-Based Program Synthesis and Transformation 17th Interna - S9000z

$68.72

View Details
Symbolic Logic and Mechanical Theorem Proving (Computer Science and Appli - GOOD
Symbolic Logic and Mechanical Theorem Proving (Computer Science and Appli - GOOD

$14.57

View Details
Starting Out with Programming Logic and Design by Tony Gaddis ( CD-ROM)
Starting Out with Programming Logic and Design by Tony Gaddis ( CD-ROM)

$44.99

View Details
Hermenegildo - Logic-Based Program Synthesis and Transformation   26t - S9000z
Hermenegildo - Logic-Based Program Synthesis and Transformation 26t - S9000z

$69.20

View Details
Logic-Based Program Synthesis and Transformation - 9783319141244
Logic-Based Program Synthesis and Transformation - 9783319141244

$44.77

View Details
An Object-Oriented Approach to Programming Logic and Design by Farrell
An Object-Oriented Approach to Programming Logic and Design by Farrell

$64.99

View Details
Logic-Based Program Synthesis and Transformation - 9783319944593
Logic-Based Program Synthesis and Transformation - 9783319944593

$50.28

View Details
Interactive Theorem Proving and Program Development - Hardcover - VERY GOOD
Interactive Theorem Proving and Program Development - Hardcover - VERY GOOD

$52.16

View Details
Axiomatising the Logic of Computer Programming (Paperback or Softback)
Axiomatising the Logic of Computer Programming (Paperback or Softback)

$34.32

View Details
Genetic Programming: An Introduction (The Morgan Kaufmann Series in  - VERY GOOD
Genetic Programming: An Introduction (The Morgan Kaufmann Series in - VERY GOOD

$8.40

View Details
CONSTRAINT LOGIC PROGRAMMING USING ECLIPSE By Krzysztof R. Apt & Mark Wallace
CONSTRAINT LOGIC PROGRAMMING USING ECLIPSE By Krzysztof R. Apt & Mark Wallace

$29.75

View Details
Lau - Logic Based Program Synthesis and Transformation  10th Internat - S9000z
Lau - Logic Based Program Synthesis and Transformation 10th Internat - S9000z

$68.72

View Details
Vidal - Logic-Based Program Synthesis and Transformation  21st Intern - S9000z
Vidal - Logic-Based Program Synthesis and Transformation 21st Intern - S9000z

$88.16

View Details
Alpuente - Logic-Based Program Synthesis and Transformation   20th In - S9000z
Alpuente - Logic-Based Program Synthesis and Transformation 20th In - S9000z

$68.72

View Details
Logic-Based Program Synthesis and Transformation - 9783319631387
Logic-Based Program Synthesis and Transformation - 9783319631387

$50.36

View Details
Logic-Based Program Synthesis and Transformation - 9783319178219
Logic-Based Program Synthesis and Transformation - 9783319178219

$50.28

View Details
Mesnard - Logic-Based Program Synthesis and Transformation   28th Int - S9000z
Mesnard - Logic-Based Program Synthesis and Transformation 28th Int - S9000z

$68.72

View Details
Etalle - Logic Based Program Synthesis and Transformation   14th Inte - S9000z
Etalle - Logic Based Program Synthesis and Transformation 14th Inte - S9000z

$68.72

View Details
Logic-Based 0-1 Constraint Programming - 9781461285649
Logic-Based 0-1 Constraint Programming - 9781461285649

$95.09

View Details
Logic and Integer Programming by H Paul Williams: New
Logic and Integer Programming by H Paul Williams: New

$63.89

View Details
Glck - Logic-Based Program Synthesis and Transformation   33rd Inter - S9000z
Glck - Logic-Based Program Synthesis and Transformation 33rd Inter - S9000z

$68.72

View Details
LOGIC PROGRAMMING: THE 1996 INTERNATIONAL SYMPOSIUM: By Michael Maher EXCELLENT
LOGIC PROGRAMMING: THE 1996 INTERNATIONAL SYMPOSIUM: By Michael Maher EXCELLENT

$35.95

View Details
Logic Programming and Nonmonotonic Reasoning: 8th International Conference,...
Logic Programming and Nonmonotonic Reasoning: 8th International Conference,...

$50.18

View Details
De Schreye - Logic-Based Program Synthesis and Transformation   19th  - S9000z
De Schreye - Logic-Based Program Synthesis and Transformation 19th - S9000z

$68.72

View Details
Fernndez - Logic-Based Program Synthesis and Transformation   30th I - S9000z
Fernndez - Logic-Based Program Synthesis and Transformation 30th I - S9000z

$114.28

View Details
Logic-Based 0-1 Constraint Programming
Logic-Based 0-1 Constraint Programming

$156.48

View Details
Компьютерная математика. / Computer mathematics.
Компьютерная математика. / Computer mathematics.

$29.00

View Details
Programming with Constraints: An Introduction
Programming with Constraints: An Introduction

$26.22

View Details
Logic-Based Program Synthesis and Transformation - 9783642322105
Logic-Based Program Synthesis and Transformation - 9783642322105

$46.72

View Details
Logic-Based Program Synthesis and Transformation - 9783030452599
Logic-Based Program Synthesis and Transformation - 9783030452599

$49.74

View Details
PROGRAMMING LOGIC AND DESIGN By Joyce Farrell
PROGRAMMING LOGIC AND DESIGN By Joyce Farrell

$25.49

View Details
The Temporal Logic of Reactive and Concurrent Systems: Specification
The Temporal Logic of Reactive and Concurrent Systems: Specification

$31.20

View Details
Programmable Logic Controllers Programming Methods and Applications
Programmable Logic Controllers Programming Methods and Applications

$45.97

View Details
Brain Fitness: Proven Program to Improve Memory, Logic, Attention Span - Poncin
Brain Fitness: Proven Program to Improve Memory, Logic, Attention Span - Poncin

$4.99

View Details
Proietti - Logic-Based Program Synthesis and Transformation   24th In - S9000z
Proietti - Logic-Based Program Synthesis and Transformation 24th In - S9000z

$76.18

View Details
Hill - Logic Programming - New paperback or softback - S9000z
Hill - Logic Programming - New paperback or softback - S9000z

$69.80

View Details
Bjrner - Logic for Programming Artificial Intelligence and Reasoni - S9000z
Bjrner - Logic for Programming Artificial Intelligence and Reasoni - S9000z

$76.18

View Details
Non-Monotonic Extensions of Logic Programming: Second International Workshop...
Non-Monotonic Extensions of Logic Programming: Second International Workshop...

$32.19

View Details
Falaschi - Logic-Based Program Synthesis and Transformation   25th In - S9000z
Falaschi - Logic-Based Program Synthesis and Transformation 25th In - S9000z

$76.18

View Details
Hanus - Logic-Based Program Synthesis and Transformation  18th Intern - S9000z
Hanus - Logic-Based Program Synthesis and Transformation 18th Intern - S9000z

$68.72

View Details
Modal Logic (Cambridge Tracts in Theoretical Computer Science, Series Number 53
Modal Logic (Cambridge Tracts in Theoretical Computer Science, Series Number 53

$63.10

View Details
Automata and Computability (Undergraduate Texts in Computer Science) - GOOD
Automata and Computability (Undergraduate Texts in Computer Science) - GOOD

$14.23

View Details
Mathematics for 3D Game Programming and Computer Graphics, Second Edition by
Mathematics for 3D Game Programming and Computer Graphics, Second Edition by

$8.99

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

$29.16

View Details
LOGIC PRO 9 POWER!: THE COMPREHENSIVE GUIDE By Kevin Anker & Orren Merton *Mint*
LOGIC PRO 9 POWER!: THE COMPREHENSIVE GUIDE By Kevin Anker & Orren Merton *Mint*

$16.75

View Details
Algorithmic Information Theory by G. J. Chaitin (Theoretical Computer Science)
Algorithmic Information Theory by G. J. Chaitin (Theoretical Computer Science)

$29.00

View Details
Introduction to Lattice Theory with Computer Science Applications by Vijay K....
Introduction to Lattice Theory with Computer Science Applications by Vijay K....

$95.00

View Details