Graph-Based Proof Procedures for Horn Clauses

Graph-Based Proof Procedures for Horn Clauses

Graph-Based Proof Procedures for Horn Clauses

Barcode: 09781489935564
Brand: Birkhauser Boston
Best Priced
sold by Hive Books
Hive Books
£38.24
Visit Store
Hive Books
Hive Books
£38.24
Free
Amazon UK
Amazon UK
Search
eBay UK
eBay UK
Search
Our site contains affiliate links, and we may earn a commission for purchases made through these links at no extra cost to you.This helps support our work in bringing you the best price comparisons.

More From Birkhauser Boston

I. J. Schoenberg Selected Papers
I. J. Schoenberg Selected Papers
from £38.24
Real-Time Software Design : A Guide for Microprocessor Systems
Real-Time Software Design : A Guide for Microprocessor Systems
from £38.24
Rational Approximation in Systems Engineering
Rational Approximation in Systems Engineering
from £38.24
Algebraic K-Theory
Algebraic K-Theory
from £32.29
Lecture Notes on Bucket Algorithms
Lecture Notes on Bucket Algorithms
from £38.24
Dynamical Systems : Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.), held in Bressanone (Bolzano), Italy, June 19-27, 1978
Dynamical Systems : Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.), held in Bressanone (Bolzano), Italy, June 19-27, 1978
from £38.24
The Dilworth Theorems : Selected Papers of Robert P. Dilworth
The Dilworth Theorems : Selected Papers of Robert P. Dilworth
from £38.24
Abnormal States of Brain and Mind
Abnormal States of Brain and Mind
from £38.24
Scaling and Self-Similarity in Physics : Renormalization in Statistical Mechanics and Dynamics
Scaling and Self-Similarity in Physics : Renormalization in Statistical Mechanics and Dynamics
from £38.24
Man in Competition with the Spruce Budworm : An Application of Differential Equations
Man in Competition with the Spruce Budworm : An Application of Differential Equations
from £38.24
Math into TeX: A Simple Guide to Typesetting Math Using AMS-LaTex : Neuauflage 1. Halbj.`96/Stand 22.02.95
Math into TeX: A Simple Guide to Typesetting Math Using AMS-LaTex : Neuauflage 1. Halbj.`96/Stand 22.02.95
from £18.69
Quadratic Forms in Infinite Dimensional Vector Spaces
Quadratic Forms in Infinite Dimensional Vector Spaces
from £38.24
Ergodic Theory and Dynamical Systems II : Proceedings Special Year, Maryland 1979-80
Ergodic Theory and Dynamical Systems II : Proceedings Special Year, Maryland 1979-80
from £38.24
Elementary Functions : Algorithms and Implementation
Elementary Functions : Algorithms and Implementation
from £67.58
The Secret Guide to Computers
The Secret Guide to Computers
from £38.24
Genetically Defined Animal Models of Neurobehavioral Dysfunctions
Genetically Defined Animal Models of Neurobehavioral Dysfunctions
from £38.24
New Approaches for Antifungal Drugs
New Approaches for Antifungal Drugs
from £38.24
Combinatorics and Commutative Algebra
Combinatorics and Commutative Algebra
from £20.39
Mathematics and Physics
Mathematics and Physics
from £38.24
Diamond Dealers and Feather Merchants : Tales from the Sciences
Diamond Dealers and Feather Merchants : Tales from the Sciences
from £38.24

Price History

Excluding delivery costs, shows the lowest price over time.

Other Products You Might Like

Producing High-Quality Figures Using SAS/GRAPH(R) and ODS Graphics Procedures
Producing High-Quality Figures Using SAS/GRAPH(R) and ODS Graphics Procedures
from £53.09
Experimental Design : Procedures For The Behavioral Sciences
Experimental Design : Procedures For The Behavioral Sciences
from £96.05
Engineering Documentation Control Practices & Procedures
Engineering Documentation Control Practices & Procedures
from £55.79
Policy Matters : Perspectives, Procedures, and Processes
Policy Matters : Perspectives, Procedures, and Processes
from £74.89
Diagnostic Procedures In Patients With Neck Masses
Diagnostic Procedures In Patients With Neck Masses
from £37.39
Calibration in Analytical Science : Methods and Procedures
Calibration in Analytical Science : Methods and Procedures
from £116.79
Photovoltaic System Design : Procedures, Tools and Applications
Photovoltaic System Design : Procedures, Tools and Applications
from £41.39
An Architecture for Combinator Graph Reduction
An Architecture for Combinator Graph Reduction
from £18.99
Basics Of Qualitative Research : Techniques And Procedures For Developing Grounded Theory
Basics Of Qualitative Research : Techniques And Procedures For Developing Grounded Theory
from £48.45
Gastrointestinal Endoscopy and Related Procedures : A Handbook for Nurses and Assistants
Gastrointestinal Endoscopy and Related Procedures : A Handbook for Nurses and Assistants
from £38.24
BSAVA Guide to Procedures in Small Animal Practice
BSAVA Guide to Procedures in Small Animal Practice
from £67.75
RUS-5 Humidity-Proof Horn Speaker 8ohm
RUS-5 Humidity-Proof Horn Speaker 8ohm
from £28.00
NR-25KS Humidity-Proof Horn Speaker 8ohm
NR-25KS Humidity-Proof Horn Speaker 8ohm
from £55.00
Graph Algebras and Automata
Graph Algebras and Automata
from £234.00
Basics Of Qualitative Research : Techniques And Procedures For Developing Grounded Theory
Basics Of Qualitative Research : Techniques And Procedures For Developing Grounded Theory
from £48.45
Policies & Procedures for Data Security: A Complete Manual for Computer Systems and Networks
Policies & Procedures for Data Security: A Complete Manual for Computer Systems and Networks
from £85.49
Information Security Policies, Procedures, and Standards : A Practitioner's Reference
Information Security Policies, Procedures, and Standards : A Practitioner's Reference
from £28.79
Micador A4 Graph Pad 2mm
Micador A4 Graph Pad 2mm
from £19.94
A4 Brown Bear Nbook Graph
A4 Brown Bear Nbook Graph
from £22.35
Loose Leaf Graph Paper A5 ‐ 5mm
Loose Leaf Graph Paper A5 ‐ 5mm
from £1.95