Search results
- Papers on time and tense / Arthur N. Prior ; edited by Per Hasle, Peter Øhrstrøm, Torben Braüner, Jack Copeland. Oxford : Oxford University Press, [2003] ©2003 . ix, 331 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci FF 0 0 0 1 0 0 
book
- Temporal logic : from ancient ideas to artificial intelligence / by Peter Øhrstrøm and Per F.V. Hasle. Dordrecht : Kluwer Academic Publishers, c1995 . viii, 413 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci FF 0 0 0 1 0 0 PRF 0 0 0 1 0 0 book