Intensional Logics for Programming
Author:   Luis Fariñas del Cerro (Directeur de Récherche, Directeur de Récherche, I.R.I.T., Toulouse, France) ,  Martti Penttonen (Professor of Computer Science, Professor of Computer Science, University of Joensu, Finland) ,  Luis Farinas del Cerro (Directeur de Recherche, IRIT, Toulouse, France)
Publisher:   Oxford University Press
Volume:   1
ISBN:  

9780198537755


Pages:   230
Publication Date:   27 August 1992
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 $122.95 Quantity:  
Add to Cart

Share |

Intensional Logics for Programming


Overview

Full Product Details

Author:   Luis Fariñas del Cerro (Directeur de Récherche, Directeur de Récherche, I.R.I.T., Toulouse, France) ,  Martti Penttonen (Professor of Computer Science, Professor of Computer Science, University of Joensu, Finland) ,  Luis Farinas del Cerro (Directeur de Recherche, IRIT, Toulouse, France)
Publisher:   Oxford University Press
Imprint:   Clarendon Press
Volume:   1
Dimensions:   Width: 16.20cm , Height: 1.80cm , Length: 24.10cm
Weight:   0.510kg
ISBN:  

9780198537755


ISBN 10:   0198537751
Pages:   230
Publication Date:   27 August 1992
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

H.A. Blair, A.L. Brown, Jr., and V.S. Subrahmanian: Monotone logic programming; M.A. Orgun and W.W. Wadge: Theory and practice of temporal logic programming; M. Baudinet: A simple proof of the completeness of temporal logic programming; D.M. Gabbay: Metalevel features in the object level: modal and temporal logic programming III; D. Nute: Basic defeasible logic; S. Cerrito: Negation and linear completion; P. Balbiani: A promenade from provability to consistency.

Reviews

a very valuable source of information on the state of the art in the domain ... this book is a very nice survey and shows quite a few case studies of how non-classical logics can help in the study of logic programs and their semantics Science of Computer Programming, 24 (1995) 97-103 pp 102 - 103 the book covers a wide lacking part in the new interaction area between logic, information technology and computation Zbl. Math. 787


the book covers a wide lacking part in the new interaction area between logic, information technology and computation * Zbl. Math. 787 * a very valuable source of information on the state of the art in the domain ... this book is a very nice survey and shows quite a few case studies of how non-classical logics can help in the study of logic programs and their semantics * Science of Computer Programming, 24 (1995) 97-103 pp 102 - 103 *


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