Carte Executable Modal and Temporal Logics Michael Fisher

Executable Modal and Temporal Logics

IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings

Limbă: engleză
Legare: Carte broșată
Editura: Springer, Berlin
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
276.36 lei
This volume presents the thoroughly revised proceedings of the IJCAI '93 Workshop on Executable Moda...

Informații despre carte

Limbă
engleză
Legare
Carte - Carte broșată
Publicat
1995
Pagini
188
EAN
9783540589761
ISBN
3540589767
Enbook ID
05274453
Greutate
295
Dimensiuni
156 x 234 x 10

Descriere completă

This volume presents the thoroughly revised proceedings of the IJCAI '93 Workshop on Executable Modal and Temporal Logics held in Chambery, France in August 1993.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.

S-ar putea să te intereseze

Staying Dry

Kathryn L. Burgio
191.73 lei
134.50 lei

2017 Anthology

Read Write
45.53 lei

The Coming Prince

Sir Robert Anderson
151.22 lei
67.80 lei

Time of Gratitude

Gennady Aygi
86.04 lei
167.65 lei
89.56 lei

Tristen's Reading Log

Martha Day Zschock
84.93 lei

Kaspar Hauser

Martin Kitchen
581.45 lei
71.12 lei

Gentle and Lowly

Dane C. Ortlund
84.93 lei
64.78 lei
101.15 lei

Clienții care au cumpărat această carte au mai cumpărat și

68.81 lei
104.07 lei

Philosophische Bildung

Volker Steenblock
95.00 lei

Fils d'emigre

Ernest Daudet
110.52 lei

Prince Valiant

Hal Foster
215.31 lei