Książka Executable Modal and Temporal Logics Michael Fisher

Executable Modal and Temporal Logics

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

Język: Angielski
Oprawa: Miękka
Wydawca: Springer, Berlin
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
213.09
This volume presents the thoroughly revised proceedings of the IJCAI '93 Workshop on Executable Moda...

Informacje o książce

Język
Angielski
Oprawa
Książka - Miękka
Data wydania
1995
strony
188
EAN
9783540589761
ISBN
3540589767
Enbook ID
05274453
Waga
295
Wymiary
156 x 234 x 10

Pełny opis

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.

Możesz być zainteresowany

Staying Dry

Kathryn L. Burgio
149.51
104.78

2017 Anthology

Read Write
35.25

The Coming Prince

Sir Robert Anderson
116.89
52.53

Time of Gratitude

Gennady Aygi
69.92
129.01
69.04

Tristen's Reading Log

Martha Day Zschock
65.13

Kaspar Hauser

Martin Kitchen
472.40
53.71

Gentle and Lowly

Dane C. Ortlund
65.13
50.09
82.13

Klienci, którzy kupili tę książkę, kupili również

52.53
79.59

Philosophische Bildung

Volker Steenblock
77.24

Fils d'emigre

Ernest Daudet
84.86

Prince Valiant

Hal Foster
165.83