Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Présentation de l'éditeur
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.
Revue de presse
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)
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Intentional Logics for Programming
Image d'archives
Intensional Logics for Programming
Edité par
Oxford: Clarendon, 1992, 1992
ISBN 10 : 0198537751
ISBN 13 : 9780198537755
Ancien ou d'occasion
Couverture rigide
Vendeur : Books on the Web, Winnipeg, MB, Canada
Évaluation du vendeur 5 sur 5 étoiles
New! Hard bound, extensive references, ix + Pp219. Includes chapter references. New & unread in laminated boards. 520 grams unpacked. N° de réf. du vendeur 5393
Acheter D'occasion
EUR 16,10
Frais de port :
EUR 13,03
De Canada vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Intensional Logics for Programming (eng)
impression à la demandeVendeur : Brook Bookstore On Demand, Napoli, NA, Italie
Évaluation du vendeur 5 sur 5 étoiles
Etat : new. Questo è un articolo print on demand. N° de réf. du vendeur 67b5b35ed1e690f16dfe5cc04a4fd708
Acheter neuf
EUR 36,33
Frais de port :
EUR 5,50
De Italie vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Intensional Logics for Programming
Edité par
Oxford, Clarendon Press, 1992
ISBN 10 : 0198537751
ISBN 13 : 9780198537755
Ancien ou d'occasion
Couverture rigide
Edition originale
Vendeur : avelibro OHG, Dinkelscherben, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
24 x 16 cm. Etat : 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. N° de réf. du vendeur 56098
Acheter D'occasion
EUR 50
Frais de port :
EUR 10
De Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Intensional Logics for Programming
Edité par
Oxford University Press, 1992
ISBN 10 : 0198537751
ISBN 13 : 9780198537755
Neuf
Couverture rigide
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardback. Etat : New. New copy - Usually dispatched within 4 working days. 540. N° de réf. du vendeur B9780198537755
Acheter neuf
EUR 45,47
Frais de port :
EUR 18,37
De Royaume-Uni vers Etats-Unis
Quantité disponible : 15 disponible(s)
Image d'archives
Intensional Logics for Programming (Studies in Logic & Computation)
Vendeur : New Book Sale, London, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : New. Usually Dispatched within 1-2 Business Days , Buy with confidence , excellent customer service. N° de réf. du vendeur 0198537751--366
Acheter neuf
EUR 41
Frais de port :
EUR 56,87
De Royaume-Uni vers Etats-Unis
Quantité disponible : 3 disponible(s)