Výsledky vyhledávání

Doporučená témata ve výsledcích tohoto hledání: Doporučená témata ve výsledcích tohoto hledání:
  • Zobrazuji výsledky 1 - 1 z 1
Upřesnit hledání
  1. 1
    Obálka

    Logic in computer science:modelling and reasoning about systems Autor Huth, Michael

    Vydáno 2005
    Přidat do oblíbených
    Uloženo v:

Vyhledávací nástroje: