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
- Applied logistic regression analysis / Scott Menard. Thousand Oaks, Calif. : Sage Publications, c2002 . viii, 111 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci FTK 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
- The axiomatic method with special reference to geometry and physics : proceedings of an international symposium held at the University of California, Berkeley, December 26, 1957-January 4, 1958 / edited by Leon Henkin, Patrick Suppes, Alfred Tarski. Amsterdam : North-Holland Publishing Company, 1959 . xi, 488 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci Z 0 0 0 1 0 0 
book
- Axiomatic set theory / Paul Bernays with a historical introduction by Abraham A. Fraenkel. Amsterdam : North-Holland Publishing Company, 1958 . viii, 226 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci Z 0 0 0 1 0 0 book
- Basic proof theory / A.S. Troelstra, H. Schwichtenberg. Cambridge : Cambridge University Press, 2000 . xii, 417 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 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