Počet záznamů: 1  

The classical decision problem

  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

Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.