Počet záznamů: 1  

Logic for computer scientists

  1. Údaje o názvuLogic for computer scientists / Uwe Schöning
    Osobní jméno Schöning, Uwe, 1955- (autor)
    NakladatelNew York : Springer Science+Business Media, LLC, 1989
    Fyz.popis166 stran : ilustrace
    EdiceProgress in computer science and applied logic ; volume 8
    Poznámky o skryté bibliografii a rejstřícíchObsahuje bibliografii a rejstřík
    Předmět.hesla symbolická logika symbolic logic * matematická logika mathematical logic * logické programování logic programming
    Forma, žánr monografie monographs
    Konspekt510 - Obecné úvahy o matematice
    MDT 164.01 , 510.6 , 004.42.047 , (048.8)
    Země vyd.Spojené státy americké
    Jazyk dok.angličtina
    Druh dok.Knihy
    SignaturaČár.kódLokaceDislokaceInfo
    M1/3518 (PřF)3134044883Př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.