Počet záznamů: 1  

Elements of finite model theory

  1.   Půjčit
    Údaje o názvuElements of finite model theory / Leonid Libkin
    Osobní jméno Libkin, Leonid, 1965- (autor)
    Vyd.údajeBerlin : Springer, c2004
    Fyz.popisxiv, 315 s.
    ISBN3540212027
    Edice Texts in theoretical computer science
    PoznámkaObsahuje literaturu a rejstřík
    Předmět.hesla konečný automat finite automaton * rekurzivní funkce * matematická logika mathematical logic * matematické modelování mathematical modeling
    Konspekt510 - Obecné úvahy o matematice
    MDT 510.57 , 510.6 , 519.673 , 519.713
    Země vyd.Německo
    Jazyk dok.angličtina
    Druh dok.Knihy
    Zobrazit informace o knize na stránce www.obalkyknih.cz

    kniha

      Půjčit
    SignaturaČár.kódLokaceDislokaceInfo
    M2/227 (PřF)3134017751PřFPřF, KMI – Bc. Kolovratníkovápouze prezenčně
    M2/227a (PřF)3134019781PřFPřF, KMI – Bc. Kolovratníkovápouze prezenčně

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.

Přijmout všeNastaveníOdmítnout vše