Executable modal and temporal logics : IJCAI '93 workshop, Chambéry, France, August 28, 1993 : proc - detaljert visning

Executable modal and temporal logics : IJCAI '93 workshop, Chambéry, France, August 28, 1993 : proceedings

Michael Fisher, Richard Owens (eds.)
Bok Engelsk 1995


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	Logic programming - Congresses Prolog (Computer program language) - Congresses Konferanser Kunstig intelligens Vis mer... Logikkprogrammering Prometheus logikk programmering
ISBN	0387589767. - 3540589767