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