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
- 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