Search results
- The algebra of intensional logics / J. Michael Dunn ; with an introductory essay by Katalin Bimbó. [London] : College Publications, [2019] ©2019 . 112 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book
- 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 book
- Algebraic theory of quasivarieties / Viktor A. Gorbunov. New York ; London ; and Moscow : Consultants Bureau, [1998] ©1998 . xii, 298 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 1 0 0 book
- Argumenty filosofické logiky / Petr Kolář. Praha : Filosofia, 1999 . 327 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci CMTF 0 0 0 1 0 0 Z 0 0 0 1 0 0 book
- Arithmetic, proof theory, and computational complexity / edited by Peter Clote and Jan Krajíček. Oxford : Clarendon Press, 1993 . xii, 428 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 0 0 0 book
- Artificial intelligence versus natural intelligence / Roger Penrose, Emanuele Severino, Fabio Scardigli, Ines Testoni, Giuseppe Vitiello, Giacomo Mauro D'Ariano, Federico Faggin, authors ; Fabio Scardigli, editor. Cham, Switzerland : Springer, [2022] ©2022 . v, 192 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci Z 0 0 0 1 0 0 book
- Bayesian nets and causality : philosophical and computational foundations / Jon Williamson. Oxford : Oxford University Press, c2005 . ix, 239 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book
- The book of why : the new science of cause and effect / Judea Pearl and Dana Mackenzie. [London] : Penguin Books, 2019 . x, 418 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci FF 0 0 0 1 0 0 PRF 0 0 0 2 0 0 book
- Combinatorial optimization : theory and algorithms / Bernhard Korte, Jens Vygen. Berlin : Springer, [2018] ©2018 . xxi, 698 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 2 0 0 1 0 0 book
- Combinatorial optimization : theory and algorithms / Bernhard Korte, Jens Vygen. Berlin ; Heidelberg ; New York : Springer, 2002 . xiii, 530 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book