Search results
- Algebraic foundations of many-valued reasoning / Roberto L.O. Cignoli, Itala M.L. D'Ottaviano and Daniele Mundici. Dordrecht : Kluwer Academic, c2000 . ix, 231 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 3 0 0 - Algebry formalizující výrokové logiky / Ivan Chajda. Olomouc : Univerzita Palackého v Olomouci, 2013 . 62 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 7 0 0 0 0 0 Z 0 0 0 1 0 0 - Completeness theory for propositional logics / Witold A. Pogorzelski, Piotr Wojtylak. Basel : Birkhäuser, c2008 . viii, 178 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 - Formální logika v umělé inteligenci / Alena Lukasová. Brno : Computer Press, 2003 . ix, 269 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 2 0 0 0 0 0 Z 0 0 0 1 0 0 - Handbook of satisfiability / edited by Armin Biere, Marijn Heule, Hans van Maaren and Toby Walsh. Amsterdam : IOS Press, [2009] ©2009 . xiii, 966 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 2 0 0 1 0 0 - Introduction to logic : propositional logic / Howard Pospesel ; with an appendix on metatheory by William G. Lycan. Upper Saddle River, New Jersey : Prentice Hall, [2000] ©2000 . xii, 273 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci FF 0 0 0 1 0 0