Kniha Executable Modal and Temporal Logics Michael Fisher

Executable Modal and Temporal Logics

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

Jazyk: Angličtina
Väzba: Brožovaná
Vydavateľ: Springer, Berlin
Dostupnosť: Skladom u dodávateľa
Odosielame za 5-8 dní
50.13
This volume presents the thoroughly revised proceedings of the IJCAI '93 Workshop on Executable Moda...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
1995
Stránok
188
EAN
9783540589761
ISBN
3540589767
Enbook ID
05274453
Vydavateľ
Hmotnosť
295
Rozmery
156 x 234 x 10

Kompletný popis

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.

Mohlo by vás zaujímať

Staying Dry

Kathryn L. Burgio
33.65

2017 Anthology

Read Write
7.84

The Coming Prince

Sir Robert Anderson
26.09
11.67

Time of Gratitude

Gennady Aygi
16.47
30.31
16.18

Tristen's Reading Log

Martha Day Zschock
14.32

Kaspar Hauser

Martin Kitchen
107.24
12.55

Gentle and Lowly

Dane C. Ortlund
14.32
11.18

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

12.35
18.73

Philosophische Bildung

Volker Steenblock
18.14

Prince Valiant

Hal Foster
39.04

Fils d'emigre

Ernest Daudet
19.91