Search results

Records found: 40  
Your query: Author Sysno/Doc.kind = "^stu_us_auth stus172 amg^"
  1. Umění a jeho hodnoty : logika umělecké kritiky / aut. Tomáš Kulka
    Kulka Tomáš 
    1. vydanie
    Praha : Argo, 2019 . - 260 s.
    ISBN 978-80-257-2736-2
    umelecká kritika teória umenia logika estetika
    monografia
    Faculty Available Inaccesible Issued For Request Only
    FAR0100
    Umění a jeho hodnoty

    book

  2. Modal Logic: 53 Cambridge Tracts in Theoretical Computer Science / aut. Patrick Blackburn, de Maarten Rijke, Yde Venema
    Blackburn Patrick  Rijke de Maarten Venema Yde
    4. vyd.
    New York: Cambridge University Press, 2010 . - 554 s.
    ISBN 978-0-521-52714-9
    logika algebra modelovanie
    monografia
    Faculty Available Inaccesible Issued For Request Only
    SVF0100
    book

    book

  3. Od jazyka k logice : Filozofický úvod do moderní logiky
    Svoboda Vladimír  Peregrin Jaroslav
    Praha : Academia, 2009 . - 428 s
    ISBN 978-80-200-1740-6
    logika modálna logika sémantika výroková logika
    monografia
    Faculty Available Inaccesible Issued For Request Only
    FIIT0010
    book

    book

  4. Logic and Integer Programming
    Williams H. Paul 
    New York : Springer Science+Business Media, LLC, 2009 . - 155 s
    ISBN 978-0-387-92279-9
    logika matematické programovanie
    monografia
    book

    book

  5. Foundations of Decision-Making Agents : Logic, Probability and Modality
    Das Subrata 
    Singapur : World Scientific Publishing Co.Pte.Ltd, 2008 . - 366 s
    ISBN 981-277-983-3
    logika pravdepodobnosť modalita
    monografia
    Faculty Available Inaccesible Issued For Request Only
    FIIT0010
    book

    book

  6. Satan, Cantor a nekonečno (a další logické hlavolamy)
    Smullyan Raymond M 
    Praha : Mladá fronta, 2008 . - 270 s
    ISBN 978-80-204-1681-0
    logika
    monografia
    Faculty Available Inaccesible Issued For Request Only
    FIIT0010
    book

    book

  7. The Description Logic Handbook : Theory, implementation, and applications
    Baader Franz (Editor)  Calvanese Diego (Editor) Nardi Daniele (Editor) Patel-Schneider Peter F. (Editor)
    Cambridge : Cambridge University Press, 2007 . - 601 s
    ISBN 978-0-521-87625-4
    logika
    monografia
    Faculty Available Inaccesible Issued For Request Only
    FIIT0010
    book

    book

  8. The Calculus of Computation : Decision Procedures with Applications to Verification
    Bradley Aaron R.  Manna Zohar
    Berlin : Springer Verlag, 2007 . - 366 s
    ISBN 978-3-540-74112-1
    logika umelá inteligencia algoritmy
    monografia
    Faculty Available Inaccesible Issued For Request Only
    FIIT0010
    book

    book

  9. Artificial General Intelligence. With 42 Figures and 16 Tables
    Goertzel Ben (Editor)  Pennachin Cassio (Editor)
    Berlin : Springer-Verlag Berlin Heidelberg, 2007 . - 508 s
    ISBN 978-3-540-23733-4
    umelá inteligencia logika kognitívne technológie
    monografia
    Faculty Available Inaccesible Issued For Request Only
    FIIT0010
    book

    book

  10. Rationality and Logic
    Hanna Robert 
    CambridgeCambridge : The MIT Press, 2006 . - 316 s
    ISBN 0-262-08349-3
    kognitívna veda logika
    monografia
    Faculty Available Inaccesible Issued For Request Only
    FIIT1000
    book

    book