Synopsis
Intensional logics provide a comprehensive theoretical basis for establishing the foundations of programming. This volume offers seminal work on the use of intensional logics for the semantic analysis of logic programs, and programming in intensional logics. For example, modal logic, temporal logic, and linear logic prove to be very useful for these purposes. The work presented here thus yields a better understanding of logic programs and will have a significant impact on future developments of logic programming languages. The book will interest computer science graduate students and researchers, particularly those concerned with artificial intelligence, knowledge representation, logic programming, expert systems, reasoning, and natural languages.
"synopsis" may belong to another edition of this title.
About the Author
Luis Farinas del Cerro, Directeur de Recherche, I.R.I.T., Toulouse, France. Martti Penttonen, Professor of Computer Science, University of Joensu.
"About this title" may belong to another edition of this title.
Search results for Intensional Logics for Programming (Studies in Logic...
Stock Image
Intensional Logics for Programming
Published by
Oxford: Clarendon, 1992, 1992
ISBN 10: 0198537751
ISBN 13: 9780198537755
Used
Hardcover
Seller: Books on the Web, Winnipeg, MB, Canada
Seller rating 5 out of 5 stars
New! Hard bound, extensive references, ix + Pp219. Includes chapter references. New & unread in laminated boards. 520 grams unpacked. Seller Inventory # 5393
Stock Image
Intensional Logics for Programming (eng)
Print on DemandSeller: Brook Bookstore On Demand, Napoli, NA, Italy
Seller rating 5 out of 5 stars
Condition: new. Questo è un articolo print on demand. Seller Inventory # 67b5b35ed1e690f16dfe5cc04a4fd708
Seller Image
Intensional Logics for Programming
Published by
Oxford, Clarendon Press, 1992
ISBN 10: 0198537751
ISBN 13: 9780198537755
Used
Hardcover
First Edition
Seller: avelibro OHG, Dinkelscherben, Germany
Seller rating 5 out of 5 stars
24 x 16 cm. Condition: Gut. 1. Auflage. IX, 219 Seiten, 2 Blatt Innen sehr sauberer, guter Zustand. Hardcover, Leinen- oder Pappeinband, mit den üblichen Bibliotheks-Markierungen, Stempeln und Einträgen, innen wie außen, siehe Bilder. (Evtl. auch Kleber- und/oder Etikettenreste, sowie -abdrücke durch abgelöste Bibliotheksschilder). - Original board with library label on spine. Inside with the common library stamps and inscriptions. Otherwise very clean. - Studies in Logic and Computation, volume I. B04-03-01A|A25 Altersfreigabe FSK ab 0 Jahre Sprache: Englisch Gewicht in Gramm: 510. Seller Inventory # 56098
Stock Image
Intensional Logics for Programming
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Hardback. Condition: New. New copy - Usually dispatched within 4 working days. 540. Seller Inventory # B9780198537755
Buy New
US$ 52.39
Shipping:
US$ 21.16
From United Kingdom to U.S.A.
Quantity: 15 available
Stock Image
Intensional Logics for Programming (Studies in Logic & Computation)
Seller: New Book Sale, London, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: New. Usually Dispatched within 1-2 Business Days , Buy with confidence , excellent customer service. Seller Inventory # 0198537751--366
Buy New
US$ 47.24
Shipping:
US$ 65.53
From United Kingdom to U.S.A.
Quantity: 3 available