Number of the records: 1  

Temporal logic

  1. 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
    View book information on page www.obalkyknih.cz

    book


Number of the records: 1  

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.