Items related to Intensional Logics for Programming (Studies in Logic...
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.
Review
`a very valuable source of informations 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
`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
"About this title" may belong to another edition of this title.
- PublisherClarendon Press
- Publication date1992
- ISBN 10 0198537751
- ISBN 13 9780198537755
- BindingHardcover
- LanguageEnglish
- Edition number1
- Number of pages230
- EditorFariñas Del Cerro Luis, Penttonen Marti
Buy New
View this item
US$ 47.70
Shipping:
US$ 59.55
From United Kingdom to U.S.A.
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 4 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
Quantity: 1 available
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
Quantity: 1 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
Quantity: 3 available
Seller Image
Intensional Logics for Programming
Print on DemandSeller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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. Seller Inventory # 594409986
Quantity: Over 20 available