Symbolic Logic and Mechanical Theorem Proving

Symbolic Logic and Mechanical Theorem Proving

Symbolic Logic and Mechanical Theorem Proving

Barcode: 09780080917283
Brand: Elsevier Science
There are no offers for this product at this time.

More From Elsevier Science

Advanced Polymer Processing Operations
Advanced Polymer Processing Operations
from £85.00
Plant Location Selection Techniques
Plant Location Selection Techniques
from £37.39
Plastics Additives, Volume 3
Plastics Additives, Volume 3
from £85.00
Fluorinated Ionomers
Fluorinated Ionomers
from £119.00
Water-Based Paint Formulations, Vol. 3
Water-Based Paint Formulations, Vol. 3
from £37.39
Advanced Cleaning Product Formulations, Vol. 2
Advanced Cleaning Product Formulations, Vol. 2
from £37.39
Crystal Growth Technology
Crystal Growth Technology
from £131.75
Pesticide Synthesis Handbook
Pesticide Synthesis Handbook
from £127.50
Pollution Prevention Software System Handbook
Pollution Prevention Software System Handbook
from £74.80
Engineering Procedures Handbook
Engineering Procedures Handbook
from £85.00
Lightweight Aggregate Concrete
Lightweight Aggregate Concrete
from £127.50
Applied Nanotechnology
Applied Nanotechnology
from £93.50
Rotational Molding Technology
Rotational Molding Technology
from £131.75
Industrial Fire Safety Guidebook
Industrial Fire Safety Guidebook
from £137.75
Advanced Cleaning Product Formulations, Vol. 5
Advanced Cleaning Product Formulations, Vol. 5
from £85.00
Materials Selection Deskbook
Materials Selection Deskbook
from £69.70
Advanced Cleaning Product Formulations, Vol. 4
Advanced Cleaning Product Formulations, Vol. 4
from £37.39
Plastics Additives, Volume 1 : An Industry Guide
Plastics Additives, Volume 1 : An Industry Guide
from £85.00
Mixed Plastics Recycling Technology
Mixed Plastics Recycling Technology
from £41.79
Engineering Problem Solving : A Classical Perspective
Engineering Problem Solving : A Classical Perspective
from £45.04

Price History

Excluding delivery costs, shows the lowest price over time.

Other Products You Might Like

First-Order Logic and Automated Theorem Proving
First-Order Logic and Automated Theorem Proving
from £61.20
First-Order Logic and Automated Theorem Proving
First-Order Logic and Automated Theorem Proving
from £63.33
Mechanical Theorem Proving in Geometries : Basic Principles
Mechanical Theorem Proving in Geometries : Basic Principles
from £38.24
Higher Order Logic Theorem Proving and its Applications : Proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications - HOL '92 Leuven, Belgiu
Higher Order Logic Theorem Proving and its Applications : Proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications - HOL '92 Leuven, Belgiu
from £114.00
Logic for Computer Science : Foundations of Automatic Theorem Proving, Second Edition
Logic for Computer Science : Foundations of Automatic Theorem Proving, Second Edition
from £26.36
Automated Theorem Proving
Automated Theorem Proving
from £76.08
Automated Theorem Proving : Theory and Practice
Automated Theorem Proving : Theory and Practice
from £93.08
Symbolic Logic and the Game of Logic
Symbolic Logic and the Game of Logic
from £7.19
Symbolic Logic
Symbolic Logic
from £37.39
Symbolic Logic
Symbolic Logic
from £8.37
Symbolic Logic and Its Applications
Symbolic Logic and Its Applications
from £5.82
Formalized Probability Theory and Applications Using Theorem Proving
Formalized Probability Theory and Applications Using Theorem Proving
from £165.75
Current Trends in Hardware Verification and Automated Theorem Proving
Current Trends in Hardware Verification and Automated Theorem Proving
from £76.08
Automated Theorem Proving : After 25 Years
Automated Theorem Proving : After 25 Years
from £47.70
Automated Theorem Proving: A Logical Basis
Automated Theorem Proving: A Logical Basis
from £41.79
Automated Theorem Proving in Software Engineering
Automated Theorem Proving in Software Engineering
from £38.24
Theorem Proving with the Real Numbers
Theorem Proving with the Real Numbers
from £76.08
The Limits of Logic : Higher-Order Logic and the Lowenheim-Skolem Theorem
The Limits of Logic : Higher-Order Logic and the Lowenheim-Skolem Theorem
from £35.99
The Limits of Logic : Higher-Order Logic and the Lowenheim-Skolem Theorem
The Limits of Logic : Higher-Order Logic and the Lowenheim-Skolem Theorem
from £35.99
Symbolic Logic : [Complete & Illustrated]
Symbolic Logic : [Complete & Illustrated]
from £2.99