Basket

  Untick selected:   0
  1. The classical decision problem / Egon Börger, Erich Grädel, Yuri Gurevich.    Berlin ; Heidelberg ; New York :  Springer,  2001 . x, 482 s.
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF000100
    The classical decision problem

    book

  Untick selected:   0