Search results
- Deduction systems / Rolf Socher-Ambrosius, Patricia Johann. New York : Springer, 1997c . xii, 206 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book
- Descriptive complexity / Neil Immerman. New York, Inc. : Springer, [1999] ©1999 . xvi, 268 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 3 0 0 book
- 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 book
- 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 book
- 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 book
- On concurrent programming / Fred B. Schneider. New York : Springer, c1997 . xix, 473 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book