Temporal logic : from ancient ideas to artificial intelligence

by Peter Øhrstrøm and Per F.V. Hasle
Bok · Engelsk · 1995

Utgitt	Dordrecht : Kluwer Academic Publishers , c1995
Omfang	VIII, 413 s. : ill.
Emner	Logic, Symbolic and mathematical Tense (Logic) Time Historisk framstilling Vis mer... Logikk Tidslogikk
ISBN	0792335864