Executable Modal and Temporal Logics
Editat de Michael Fisher, Richard Owensen Limba Engleză Paperback – 17 feb 1995
The direct execution of logical statements, through languages such as PROLOG, has proved remarkably successful within CS and AI. In recent years a variety of nonclassical logics have been introduced and several executable forms of these logics have been applied to programming.
This volume addresses a range of approaches to executable modal and temporal logics, not only from a logical point of view, but also from programming language and application standpoints; in addition, an introductory survey and an annotated bibliography are presented.
Preț: 316.83 lei
Preț vechi: 396.04 lei
-20%
Puncte Express: 475
Preț estimativ în valută:
55.99€ • 64.62$ • 48.83£
55.99€ • 64.62$ • 48.83£
Carte tipărită la comandă
Livrare economică 18 mai-01 iunie
Specificații
ISBN-13: 9783540589761
ISBN-10: 3540589767
Pagini: 196
Ilustrații: VIII, 188 p.
Dimensiuni: 155 x 235 x 11 mm
Greutate: 0.31 kg
Ediția:1995
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540589767
Pagini: 196
Ilustrații: VIII, 188 p.
Dimensiuni: 155 x 235 x 11 mm
Greutate: 0.31 kg
Ediția:1995
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
To Mock a Mockingbird: and Other Logic PuzzlesRaymond Smullyan-20%Preț: 74.37 lei92.81 lei -
DefinitionRichard Robinson-35%Preț: 718.23 lei1098.94 lei -
A Level Biology for OCR A Revision GuideMichael Fisher-10%Preț: 157.85 lei176.07 lei -
Notes on Set TheoryYiannis MoschovakisPreț: 472.08 lei -
-27%Preț: 683.97 lei936.94 lei -
Theory of Computational ComplexityDing-Zhu Du-9%Preț: 790.80 lei869.01 lei -
Preț: 516.24 lei -
Preț: 178.43 lei -
Combinatorial Set Theory: With a Gentle Introduction to ForcingLorenz J. Halbeisen-19%Preț: 557.87 lei688.73 lei -
The Joy of SetsKeith Devlin-15%Preț: 420.01 lei494.14 lei -
-45%Preț: 245.94 lei443.64 lei -
-18%Preț: 1080.84 lei1318.10 lei -
Lattice Theory: Special Topics and ApplicationsGeorge Grätzer-15%Preț: 625.50 lei735.87 lei -
Duality Theories for Boolean Algebras with OperatorsSteven GivantPreț: 376.31 lei -
The Life and Work of Leon HenkinMaría ManzanoPreț: 379.92 lei -
-15%Preț: 689.64 lei811.34 lei
Public țintă
ResearchCuprins
An introduction to executable modal and temporal logics.- Temporal logic programming with metric and past operators.- A combination of clausal and non clausal temporal logic programs.- Temporal logic and annotated constraint logic programming.- Efficiently executable temporal logic programs.- Towards a semantics for concurrent MetateM.- Constraint deduction in an interval-based temporal logic.- Towards first-order concurrent MetateM.- Solving air-traffic problems with “possible worlds”.- Investigations into the application of deontic logic.