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
|