Advances in Logic Programming Theory
Author:   Giorgio Levi (Professor, Department of Informatics, Professor, Department of Informatics, University of Pisa)
Publisher:   Oxford University Press
ISBN:  

9780198538530


Pages:   268
Publication Date:   29 December 1994
Format:   Hardback
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 $146.95 Quantity:  
Add to Cart

Share |

Advances in Logic Programming Theory


Overview

Full Product Details

Author:   Giorgio Levi (Professor, Department of Informatics, Professor, Department of Informatics, University of Pisa)
Publisher:   Oxford University Press
Imprint:   Clarendon Press
Dimensions:   Width: 16.20cm , Height: 2.10cm , Length: 24.10cm
Weight:   0.540kg
ISBN:  

9780198538530


ISBN 10:   0198538537
Pages:   268
Publication Date:   29 December 1994
Audience:   College/higher education ,  Professional and scholarly ,  Postgraduate, Research & Scholarly ,  Professional & Vocational
Format:   Hardback
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

1. A comparison of notions with negation as failure ; 2. From concurrent logic programming to concurrent constraint programming ; 3. Formal bases for dataflow analysis of logic programs ; 4. Modular termination proofs for logic and pure PROLOG programs ; 5. Logic + control revisited ; Index

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