Search results

  1. 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
    FF000100
    book

    book

  2. 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
    FF000100
    PRF000100
    Temporal logic

    book