Intensional Logics for Programming

Regular price €33.99
Quantity:
In stock with our UK publisher. 14-28 days
Delivery/Collection within 10-20 working days
14 days return policy Shipping & Delivery
Category=PBW
Category=UM
Category=UYA
eq_bestseller
eq_computing
eq_isMigrated=0
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
eq_non-fiction

Product details

  • ISBN 9780198537755
  • Weight: 510g
  • Dimensions: 162 x 241mm
  • Publication Date: 27 Aug 1992
  • Publisher: Oxford University Press
  • Publication City/Country: GB
  • Product Form: Hardback
Secure checkout Fast Shipping Easy returns
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.