An Introduction to Description Logic Sách Khác Của Franz Baader, Ian Horrocks, Carsten Lutz & Uli Sattler

Term Rewriting and All That Term Rewriting and All That
Term Rewriting and All That
1998
Term Rewriting and Applications Term Rewriting and Applications
Term Rewriting and Applications
2007