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
Vazba: Brožovaná
Vydavatel: Springer, Berlin
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147
This volume presents the thoroughly revised proceedings of the IJCAI '93 Workshop on Executable Moda...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
1995
Stránek
188
EAN
9783540589761
ISBN
3540589767
Enbook ID
05274453
Vydavatel
Hmotnost
295
Rozměry
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 zajímat

Staying Dry

Kathryn L. Burgio
815

2017 Anthology

Read Write
190

The Coming Prince

Sir Robert Anderson
631
283

Time of Gratitude

Gennady Aygi
400

Tristen's Reading Log

Martha Day Zschock
347

Kaspar Hauser

Martin Kitchen
2 567

Gentle and Lowly

Dane C. Ortlund
324
271
471

Zákaznicí kteří koupili tuto knihu koupili také

280
425

Philosophische Bildung

Volker Steenblock
439

Fils d'emigre

Ernest Daudet
455

Prince Valiant

Hal Foster
891