Search results
- Epistemic logic for AI and computer science / J.-J.Ch. Meyer, W. van der Hoek. Cambridge ; New York : Cambridge University Press, 1995 . xiii, 354 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 2 0 0 book
- First-order logic and automated theorem proving / Melvin Fitting. New York ; Berlin ; Heidelberg : Springer Verlag, c1996 . xvi, 326 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book
- Formální logika / Jan Štěpán. Olomouc : FIN, 1995 . 109 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci CMTF 0 0 0 1 0 0 FF 0 0 0 1 0 0 Z 2 0 0 0 0 0 book
- An introduction to non-classical logic / Graham Priest. Cambridge : Cambridge University Press, 2001 . xxi, 242 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 0 0 0 book
- Klasická matematická logika / Antonín Sochor. Praha : Karolinum, nakladatelství Univerzity Karlovy, 2001 . 402 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci CMTF 0 0 0 1 0 0 PRF 3 0 0 3 0 0 Z 0 0 0 1 0 0 book
- Logical structures for representation of knowledge and uncertainty / Ellen Hisdal. Heidelberg ; New York : Physica-Verlag, 1998 . xxii, 419 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book
- Logické členy v průmyslové automatizaci / J.Š. Haškovec, N.P. Vasil'jeva. Praha : Státní nakladatelství technické literatury, 1963 . 241 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci Z 0 0 0 1 0 0 
book
- Logika a logické systémy / Jan Štěpán. Olomouc : Votobia, 1992 . 165 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci CMTF 1 0 0 0 0 0 Z 1 0 0 0 0 0 book
- Logistické systémy / J. Štěpán. Olomouc : Rektorát Univerzity Palackého, 1992 . 134 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci CMTF 0 0 0 1 0 0 FF 0 0 0 1 0 0 Z 1 0 0 0 0 0 book