Intensional Logics for Programming: Studies in Logic and Computation, cartea 1
Editat de Luis Fariñas del Cerro, Martti Penttonenen Limba Engleză Hardback – 27 aug 1992
Preț: 144.42 lei
Preț vechi: 245.41 lei
-41% Nou
Puncte Express: 217
Preț estimativ în valută:
27.63€ • 28.85$ • 22.87£
27.63€ • 28.85$ • 22.87£
Carte tipărită la comandă
Livrare economică 24-31 martie
Preluare comenzi: 021 569.72.76
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
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
the book covers a wide "lacking" part in the new interaction area between logic, information technology and computation