Výsledky vyhledávání
- Computational learning theory : an introduction / Martin Anthony and Norman Biggs. Cambridge : Cambridge University Press, 1997 . 157 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 2 0 0 kniha
- 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 kniha
- Modal logic / Patrick Blackburn, Maarten de Rijke and Yde Venema. Cambridge : Cambridge University Press, c2001 . xxii, 554 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 2 0 0 kniha
- Nonmonotonic reasoning : logical foundations of commonsense / Gerhard Brewka. Cambridge ; New York ; Port Chester : Cambridge University Press, 1991c . 168 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 kniha
- Topology via logic / Steven Vickers. Cambridge : Cambridge University Press, 1996 . 200 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 2 0 0 kniha
- The uncertain reasoner's companion : a mathematical perspective / J.B. Paris. Cambridge : Cambridge University Press, 1994c . x, 212 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 kniha