Cantitate/Preț
Produs
Total produse
Vezi coșul
Intensional Logics for Programming de Luis Fariñas del Cerro

Intensional Logics for Programming: Studies in Logic and Computation, cartea 1

Editat de Luis Fariñas del Cerro, Martti Penttonen
en Limba Engleză Hardback – 27 aug 1992
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.
Citește tot Restrânge

Din seria Studies in Logic and Computation

Preț: 16270 lei

Preț vechi: 29065 lei
-44%

Puncte Express: 244

Carte tipărită la comandă

Livrare economică 30 iulie-04 august

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 40000 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9780198537755
ISBN-10: 0198537751
Pagini: 230
Dimensiuni: 162 x 241 x 18 mm
Greutate: 0.51 kg
Editura: Clarendon Press
Colecția Clarendon Press
Seria Studies in Logic and Computation

Locul publicării:Oxford, United Kingdom

Cuprins

H.A. Blair, A.L. Brown, Jr., and V.S. Subrahmanian: Monotone logic programming; M.A. Orgun and W.W. Wadge: Theory and practice of temporal logic programming; M. Baudinet: A simple proof of the completeness of temporal logic programming; D.M. Gabbay: Metalevel features in the object level: modal and temporal logic programming III; D. Nute: Basic defeasible logic; S. Cerrito: Negation and linear completion; P. Balbiani: A promenade from provability to consistency.

Recenzii

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
the book covers a wide "lacking" part in the new interaction area between logic, information technology and computation