Intensional Logics for Programming
Book Details
Format
Hardback or Cased Book
Book Series
Studies in Logic and Computation
ISBN-10
0198537751
ISBN-13
9780198537755
Publisher
Oxford University Press
Imprint
Clarendon Press
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Aug 27th, 1992
Print length
230 Pages
Weight
510 grams
Dimensions
24.10 x 16.20 x 1.80 cms
Product Classification:
Applied mathematicsComputer programming / software developmentMathematical theory of computation
Ksh 5,950.00
Manufactured on Demand
Delivery in 29 days
Delivery Location
Delivery fee: Select location
Delivery in 29 days
Secure
Quality
Fast
Intensional logics provide a theoretical basis for establishing the foundations of programming. This volume discusses the use of intensional logics for the semantical analysis of logic programs and about programming in intensional logics. For example, modal logic, temporal logic and linear logic prove to be useful to understand logic programs.
This volume is a collection of papers around the theme of extending the logic programming paradigm to the area of intensional logics. Intensional logics play a central role in AI and computing, as well as in the theoretical foundation of logic programming. Intensional logic programming is one of the current frontline research areas of computational logics. This not only helps the understanding of logic programs, but will have a significant impact on future developments of logic programming itself.
Get Intensional Logics for Programming by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Oxford University Press and it has pages.
