Počet záznamů: 1  

The classical decision problem

  1. Börger, Egon, 1946-
    The classical decision problem / Egon Börger, Erich Grädel, Yuri Gurevich. -- Berlin ; Heidelberg ; New York : Springer, 2001. -- x, 482 s. -- (Universitext ISSN 0172-5939). -- ISBN : 3540423249.
    Grädel, Erich, 1958-. Gurevich, Yuri, 1940-
    funkcionální analýza. umělá inteligence. matematická logika. počítačová věda. řešení problémů. učebnice vysokých škol
    004.8. 510.6:004. 517.98

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.