Executable modal and temporal logics : IJCAI '93 workshop, Chambéry, France, August 28, 1993 : proceedings
Michael Fisher, Richard Owens (eds.)
Bok Engelsk 1995 · Konferanser
| Utgitt | Berlin : Springer , c1995
|
|---|---|
| Omfang | 180 s. : ill.
|
| Opplysninger | "... papers presented at the Workshop on "Executable Modal and Temporal Logics" held as part of IJCAI'93" - Forordet.
|
| Emner | |
| Sjanger | |
| ISBN | 0387589767. - 3540589767
|
