Počet záznamů: 1  

The automation of reasoning with incomplete information

  1. Údaje o názvuThe automation of reasoning with incomplete information : from semantic foundations to efficient computation / Torsten Schaub
    Osobní jméno Schaub, Torsten (autor)
    Vyd.údajeBerlin ; Heidelberg ; New York, N.Y. : Springer, c1997
    Fyz.popisxi, 159 s.
    ISBN3-540-64515-2 (brož.)
    EdiceLecture notes in artificial intelligence ; 1409
    Poznámky o skryté bibliografii a rejstřícíchObsahuje bibliografické odkazy
    Předmět.hesla počítačová věda computer science * logika logic * umělá inteligence artificial intelligence * zdůvodňování
    Forma, žánr monografie monographs
    Konspekt004 - Počítačová věda. Výpočetní technika. Informační technologie
    MDT 004 , 16 , 004.8 , 004.83 , (048.8)
    Země vyd.Německo ; Spojené státy americké
    Jazyk dok.angličtina
    Druh dok.Knihy
    SignaturaČár.kódLokaceDislokaceInfo
    M2/1275 (PřF)3134040381PřFPřF, KMI – Bc. Kolovratníkovápouze prezenčně