Skip to main content
Search results

Combining First-Order Logic and Logic Programming Using Fol-programs (Paperback)

Products

Showing 48 of 92 products
An Introduction to Non-Classical Logic: From If to Is
Cambridge University Press
An Introduction to Non-Classical Logic: From If to Is
$50.88
Compare Now
Extensions of First-Order Logic
Cambridge University Press
Extensions of First-Order Logic
$95.90
Compare Now
Programming with Higher-Order Logic
Cambridge University Press
Programming with Higher-Order Logic
$61.44
Compare Now
Introduction to Formal Logic
Oxford University Press
Introduction to Formal Logic
$131.06
Compare Now
Logic in Computer Science: Modelling and Reasoning about Systems
Cambridge University Press
Logic in Computer Science: Modelling and Reasoning about Systems
$73.92
Compare Now
The Mathematics of Logic: A Guide to Completeness Theorems and their Applications
Cambridge University Press
The Mathematics of Logic: A Guide to Completeness Theorems and their Applications
$153.85
Compare Now
Proof and Disproof in Formal Logic An Introduction for Programmers
Oxford University Press
Proof and Disproof in Formal Logic An Introduction for Programmers
$99.10
Compare Now
Elements of Logical Reasoning
Cambridge University Press
Elements of Logical Reasoning
$87.91
Compare Now
A First Course in Logic An Introduction to Model Theory, Proof Theory, Computability, and Complexity
Oxford University Press
A First Course in Logic An Introduction to Model Theory, Proof Theory, Computability, and Complexity
$138.52
Compare Now
Systems of Logic
Cambridge University Press
Systems of Logic
$69.88
Compare Now
Systems of Logic
Cambridge University Press
Systems of Logic
$49.95
Compare Now
The Metaphysics of Logic
Cambridge University Press
The Metaphysics of Logic
$107.89
Compare Now
The Languages of Logic An Introduction to Formal Logic
Wileyblackwell
The Languages of Logic An Introduction to Formal Logic
$61.50
Compare Now
Advances in Logic Programming Theory
Clarendon Press
Advances in Logic Programming Theory
$191.81
Compare Now
Pre-Owned The Languages of Logic: An Introduction to Formal Logic
Wiley
Pre-Owned The Languages of Logic: An Introduction to Formal Logic
$73.42
Compare Now
Logic for Computer Science and Artificial Intelligence
Wileyiste
Logic for Computer Science and Artificial Intelligence
$197.00
Compare Now
Declarative Logic Programming: Theory, Systems, and Applications
Acm Books
Declarative Logic Programming: Theory, Systems, and Applications
$57.99
Compare Now
Pre-Owned A Concise Introduction to Logic (Paperback) 0357798686 9780357798683
Pre-Owned A Concise Introduction to Logic (Paperback) 0357798686 9780357798683
$87.49
Compare Now
Introduction to Logic Design
Mcgrawhill Education
Introduction to Logic Design
$127.49
Compare Now
The Languages of Logic An Introduction to Formal Logic
Wileyblackwell
The Languages of Logic An Introduction to Formal Logic
$60.27
Compare Now
Introduction to Mathematical Logic, Sixth Edition
Chapman Hall
Introduction to Mathematical Logic, Sixth Edition
$56.10
Compare Now
An Introduction to Formal Logic
Cambridge Univ Pr
An Introduction to Formal Logic
$119.88
Compare Now
Pre-Owned Essential Logic: Basic Reasoning Skills for the Twenty-First Century (Paperback) 019515505X 9780195155051
Pre-Owned Essential Logic: Basic Reasoning Skills for the Twenty-First Century (Paperback) 019515505X 9780195155051
$14.51
Compare Now
Logic and Discrete Mathematics A Concise Introduction, Solutions Manual
Wiley
Logic and Discrete Mathematics A Concise Introduction, Solutions Manual
$25.42
Compare Now
Introduction to Logic
Dover Publications
Introduction to Logic
$21.26
Compare Now
Introduction to Logic
Dover Publications
Introduction to Logic
$22.74
Compare Now
Handbook of Philosophical Logic: Volume 17
Springer
Handbook of Philosophical Logic: Volume 17
$89.99
Compare Now
ART OF REASONING: MODERN & FORMAL LOGIC ED
Norton
ART OF REASONING: MODERN & FORMAL LOGIC ED
$32.97
Compare Now
Pre-Owned forall x: An Introduction to Formal Logic (Paperback)
64 Inktm
Pre-Owned forall x: An Introduction to Formal Logic (Paperback)
$25.60
Compare Now
Logic of Mathematics A Modern Course of Classical Logic
Wileyinterscience
Logic of Mathematics A Modern Course of Classical Logic
$231.31
Compare Now
PACKAGE: INTRODUCTION TO LOGIC
Pearson Manual
PACKAGE: INTRODUCTION TO LOGIC
$95.90
Compare Now
Logic Colloquium '02: Lecture Notes in Logic 27: Lecture Notes in Logic 27
A K Peters
Logic Colloquium '02: Lecture Notes in Logic 27: Lecture Notes in Logic 27
$51.90
Compare Now
Introduction to Logic
Introduction to Logic
$63.69
Compare Now
A Mathematical Introduction to Logic
Academic Pr
A Mathematical Introduction to Logic
$54.90
Compare Now
Formal Logic
Cambridge Univ Pr
Formal Logic
$46.94
Compare Now
Classical Mathematical Logic: The Semantic Foundations of Logic  (Hardcover)
Princeton University Press
Classical Mathematical Logic: The Semantic Foundations of Logic (Hardcover)
$95.07
Compare Now
Logic Colloquium '99: Lecture Notes in Logic 17
A K Peters
Logic Colloquium '99: Lecture Notes in Logic 17
$45.54
Compare Now
Arithmetic and Logic in Computer Systems
Wiley
Arithmetic and Logic in Computer Systems
$142.17
Compare Now
A Concise Introduction to Logic
Cengage Learning
A Concise Introduction to Logic
$169.88
Compare Now
ACP PHIL 101 - INTRODUCTION TO LOGIC - U OF SAN DIEGO
Wadsworth Publishing
ACP PHIL 101 - INTRODUCTION TO LOGIC - U OF SAN DIEGO
$161.49
Compare Now
Pre-Owned How Logic Works: A User s Guide Paperback
Pre-Owned How Logic Works: A User s Guide Paperback
$29.48
Compare Now
A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming  Gulp  (Paperback)
Springer
A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming Gulp (Paperback)
$60.29
Compare Now
Logic-Based Program Synthesis and Transformation: 18th International Symposium  LOPSTR 2008  Valencia  Spain  July 17-18  (Paperback)
Springer
Logic-Based Program Synthesis and Transformation: 18th International Symposium LOPSTR 2008 Valencia Spain July 17-18 (Paperback)
$49.78
Compare Now
Logic Colloquium 2000 (hardcover): Lecture Notes in Logic, 19
A K Peters
Logic Colloquium 2000 (hardcover): Lecture Notes in Logic, 19
$45.54
Compare Now
Bundle: A Concise Introduction to Logic (with CourseCard), 11th + Philosophy CourseMate with eBook Printed Access Card
Cengage Learning
Bundle: A Concise Introduction to Logic (with CourseCard), 11th + Philosophy CourseMate with eBook Printed Access Card
$284.71
Compare Now
Synthese Library A Precis of Mathematical Logic  Book 1  (Paperback)
Springer
Synthese Library A Precis of Mathematical Logic Book 1 (Paperback)
$89.71
Compare Now
Introduction to Formal Logic
Oxford University Press
Introduction to Formal Logic
$128.43
Compare Now
The Semantic Conception of Logic  (Hardcover)
The Semantic Conception of Logic (Hardcover)
$104.27
Compare Now