A Many-Sorted Calculus Based on Resolution and Paramodulation

A Many-Sorted Calculus Based on Resolution and Paramodulation

A Many-Sorted Calculus Based on Resolution and Paramodulation

Barcode: 09781483258935
Brand: Elsevier Science
Best Priced
sold by Hive Books
Hive Books
£18.99
Visit Store
Hive Books
Hive Books
£18.99
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 Elsevier Science

Cognition in Geosciences : The feeding loop between geo-disciplines, cognitive sciences and epistemology
Cognition in Geosciences : The feeding loop between geo-disciplines, cognitive sciences and epistemology
from £55.09
CMOS Cookbook
CMOS Cookbook
from £25.64
Working Guide to Petroleum and Natural Gas Production Engineering
Working Guide to Petroleum and Natural Gas Production Engineering
from £55.24
Aerospace Engineering e-Mega Reference
Aerospace Engineering e-Mega Reference
from £55.24
Working Guide to Drilling Equipment and Operations
Working Guide to Drilling Equipment and Operations
from £55.24
Introduction to Aircraft Structural Analysis
Introduction to Aircraft Structural Analysis
from £46.54
The Definitive Guide to the ARM Cortex-M3
The Definitive Guide to the ARM Cortex-M3
from £33.14
Non-Executive Director's Handbook
Non-Executive Director's Handbook
from £62.90
Management Accounting : Retrospect and prospect
Management Accounting : Retrospect and prospect
from £33.14
Working Guide to Vapor-Liquid Phase Equilibria Calculations
Working Guide to Vapor-Liquid Phase Equilibria Calculations
from £50.14
Working Guide to Reservoir Rock Properties and Fluid Flow
Working Guide to Reservoir Rock Properties and Fluid Flow
from £50.14
Design Engineering Manual
Design Engineering Manual
from £72.25
Impact Behaviour of Fibre-Reinforced Composite Materials and Structures
Impact Behaviour of Fibre-Reinforced Composite Materials and Structures
from £140.25
Pultrusion for Engineers
Pultrusion for Engineers
from £140.25
Integrated Design and Manufacture Using Fibre-Reinforced Polymeric Composites
Integrated Design and Manufacture Using Fibre-Reinforced Polymeric Composites
from £144.50
Finite Element Modelling of Composite Materials and Structures
Finite Element Modelling of Composite Materials and Structures
from £136.00
The International Potato Industry
The International Potato Industry
from £140.25
The International Timber Trade
The International Timber Trade
from £136.00
Cross-Border Exposures and Country Risk : Assessment and Monitoring
Cross-Border Exposures and Country Risk : Assessment and Monitoring
from £306.00
The International Spirits Industry
The International Spirits Industry
from £131.75

Price History

Excluding delivery costs, shows the lowest price over time.

Other Products You Might Like

The Resolution Calculus
The Resolution Calculus
from £38.24
Many-Sorted Algebras for Deep Learning and Quantum Technology
Many-Sorted Algebras for Deep Learning and Quantum Technology
from £138.00
Basic Analysis II : A Modern Calculus in Many Variables
Basic Analysis II : A Modern Calculus in Many Variables
from £99.00
Basic Analysis II : A Modern Calculus in Many Variables
Basic Analysis II : A Modern Calculus in Many Variables
from £99.00
Intermediate Macroeconomics with Chinese Perspectives : A Calculus-based Approach
Intermediate Macroeconomics with Chinese Perspectives : A Calculus-based Approach
from £21.24
Intermediate Macroeconomics with Chinese Perspectives : A Calculus-based Approach
Intermediate Macroeconomics with Chinese Perspectives : A Calculus-based Approach
from £21.24
Waiting to die... Based on a true story : Not many lived a life like Rosina
Waiting to die... Based on a true story : Not many lived a life like Rosina
from £9.35
A Visual Introduction to Differential Forms and Calculus on Manifolds
A Visual Introduction to Differential Forms and Calculus on Manifolds
from £53.35
Calculus For Business And Economics : An Example-Based Introduction
Calculus For Business And Economics : An Example-Based Introduction
from £46.45
Calculus On Manifolds : A Modern Approach To Classical Theorems Of Advanced Calculus
Calculus On Manifolds : A Modern Approach To Classical Theorems Of Advanced Calculus
from £44.99
Calculus On Manifolds : A Modern Approach To Classical Theorems Of Advanced Calculus
Calculus On Manifolds : A Modern Approach To Classical Theorems Of Advanced Calculus
from £44.99
Calculus On Manifolds : A Modern Approach To Classical Theorems Of Advanced Calculus
Calculus On Manifolds : A Modern Approach To Classical Theorems Of Advanced Calculus
from £46.35
A Primer on the Calculus of Variations and Optimal Control Theory
A Primer on the Calculus of Variations and Optimal Control Theory
from £43.20
Based on a Lie
Based on a Lie
from £7.55
Many and Many a Year Ago
Many and Many a Year Ago
from £4.79
A Boy and His Baskets : (Based on a True Miracle)
A Boy and His Baskets : (Based on a True Miracle)
from £8.99
An Elementary Treatise on Curves, Functions, and Forces : Containing Calculus of Imaginary Quantities, Residual Calculus, and Integral Calculus
An Elementary Treatise on Curves, Functions, and Forces : Containing Calculus of Imaginary Quantities, Residual Calculus, and Integral Calculus
from £7.52
A Treatise on the Calculus of Finite Differences
A Treatise on the Calculus of Finite Differences
from £15.96
Getting Pregnant Simply and Resolving Recurrent Miscarriage : A Clinician's Advice Based on 50-Years Experience and Many Successes of Working With Infertile Couples
Getting Pregnant Simply and Resolving Recurrent Miscarriage : A Clinician's Advice Based on 50-Years Experience and Many Successes of Working With Infertile Couples
from £10.35
Carolyn and the Cross : Based on a True Story
Carolyn and the Cross : Based on a True Story
from £3.35