Könyv Executable Modal and Temporal Logics Michael Fisher

Executable Modal and Temporal Logics

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

Nyelv: Angol
Kötés: Puha kötésű
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
19 373 Ft
This volume presents the thoroughly revised proceedings of the IJCAI '93 Workshop on Executable Moda...

Információk a könyvről

Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
1995
oldal
188
EAN
9783540589761
ISBN
3540589767
Enbook ID
05274453
Súly
295
Méretek
156 x 234 x 10

Teljes leírás

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.

Érdekelheti

Staying Dry

Kathryn L. Burgio
13 353 Ft

2017 Anthology

Read Write
3 194 Ft

The Coming Prince

Sir Robert Anderson
10 586 Ft
4 751 Ft

Time of Gratitude

Gennady Aygi
5 849 Ft
11 756 Ft

Tristen's Reading Log

Martha Day Zschock
5 993 Ft

Kaspar Hauser

Martin Kitchen
40 590 Ft
4 836 Ft

Gentle and Lowly

Dane C. Ortlund
5 993 Ft
4 535 Ft
6 874 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

4 836 Ft
7 320 Ft

Philosophische Bildung

Volker Steenblock
6 461 Ft

Fils d'emigre

Ernest Daudet
7 774 Ft

Prince Valiant

Hal Foster
15 108 Ft