Výsledky vyhledávání
- The classical decision problem / Egon Börger, Erich Grädel, Yuri Gurevich. Berlin ; Heidelberg ; New York : Springer, 2001 . x, 482 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 kniha
- Elements of the theory of computation / Harry R. Lewis, Christos H. Papadimitriou. Upper Saddle River, NJ : Prentice-Hall, 1998 . 361 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 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
- 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 kniha
- Game theory : a nontechnical introduction / by Morton D. Davis ; with a foreword by Oskar Morgenstern. Mineola : Dover Publications, 1997 . xix, 252 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 1 0 0 kniha
- An introduction to Kolmogorov complexity and its applications / Ming Li, Paul Vitányi. New York : Springer, c1997 . xx, 637 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 2 0 0 2 0 0 kniha
- Introduction to the theory of computation / Michael Sipser. Boston : Thomson Course Technology, c2006 . xvii, 437 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 6 0 0 1 0 0 kniha
- Introduction to the theory of computation / Michael Sipser. Boston ; Albany ; Bonn : International Thomson Publishing Company, 1997 . xv, 396 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 2 0 0 1 0 0 kniha
- Logic and information / Keith Devlin. Cambridge ; New York : Cambridge University Press, 1996 . xvi, 307 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 0 1 1 kniha
- Logic for applications / Anil Nerode, Richard A. Shore. New York ; Berlin ; Heidelberg : Springer-Verlag, c1997 . xiii, 456 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 kniha