Home » Mathematical Theory of Computation » Intensional Logics for Programming
Product Image

Intensional Logics for Programming

★★★★★
★★★★★
€31.99
Title
Category=PBW
Category=UM
Category=UYA
eq_computing
eq_isMigrated=1
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
Delivery/Collection within 10-20 working days

Our Delivery Time Frames Explained
2-4 Working Days: Available in-stock

10-20 Working Days: On Backorder

Will Deliver When Available: On Pre-Order or Reprinting

We ship your order once all items have arrived at our warehouse and are processed. Need those 2-4 day shipping items sooner? Just place a separate order for them!

Description
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.