Search results
- The description logic handbook : theory, implementation, and applications / edited by Franz Baader ... [et al.]. Cambridge ; New York, N.Y. : Cambridge University Press, 2010 . xix, 601 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book
- Schriften Franz von Baaders / ausgewählt und herausgegeben von Max Pulver. Leipzig : Im Insel-Verlag, 1921 . xv, 366 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci Z 0 0 0 1 0 0 
book
- Term rewriting and all that / Franz Baader and Tobias Nipkow. Cambridge : Cambridge University Press, 1999 . xii, 301 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book