First-Order Logic and Automated Theorem Proving
Author:   Melvin Fitting
Publisher:   Springer-Verlag New York Inc.
Edition:   2nd Revised edition
ISBN:  

9780387945934


Pages:   344
Publication Date:   29 November 1995
Format:   Hardback
Availability:   Out of stock   Availability explained


Our Price $224.27 Quantity:  
Add to Cart

Share |

First-Order Logic and Automated Theorem Proving


Overview

Full Product Details

Author:   Melvin Fitting
Publisher:   Springer-Verlag New York Inc.
Imprint:   Springer-Verlag New York Inc.
Edition:   2nd Revised edition
Dimensions:   Width: 15.60cm , Height: 2.20cm , Length: 23.40cm
Weight:   0.665kg
ISBN:  

9780387945934


ISBN 10:   0387945938
Pages:   344
Publication Date:   29 November 1995
Audience:   College/higher education ,  Postgraduate, Research & Scholarly
Format:   Hardback
Publisher's Status:   Out of Print
Availability:   Out of stock   Availability explained

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions
Latest Reading Guide

ARG20253

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now