Search results
- 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
- Introduction to automata theory, languages, and computation / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman. Upper Saddle River : Pearson Addison Wesley, 2003 . xiv, 521 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 5 0 0 0 0 0 book
- Introduction to automata theory, languages, and computation / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman. Boston : Addison-Wesley, 2001 . xiv, 521 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book