Logic with PROLOG
Author:   Peter Gibbins
Publisher:   Oxford University Press
ISBN:  

9780198596592


Pages:   336
Publication Date:   01 November 1988
Format:   Paperback
Availability:   To order   Availability explained
Stock availability from the supplier is unknown. We will order it for you and ship this item to you once it is received by us.

Our Price $59.95 Quantity:  
Add to Cart

Share |

Logic with PROLOG


Add your own review!

Overview

The book also deals with PROLOG as a programming language. The core of the book examines the propositional and predicate calculi, which are treated conventionally, via natural deduction systems. The theory behind automatic theorem-proving is sketched. The logic of a specified small programming imperative language and the restricted logic of real PROLOG are also examined.

Full Product Details

Author:   Peter Gibbins
Publisher:   Oxford University Press
Imprint:   Clarendon Press
Dimensions:   Width: 13.80cm , Height: 2.50cm , Length: 21.60cm
Weight:   0.446kg
ISBN:  

9780198596592


ISBN 10:   0198596596
Pages:   336
Publication Date:   01 November 1988
Audience:   College/higher education ,  Professional and scholarly ,  Tertiary & Higher Education ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   To order   Availability explained
Stock availability from the supplier is unknown. We will order it for you and ship this item to you once it is received by us.

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now