An Introduction to Description Logic المزيد من كتب Franz Baader, Ian Horrocks, Carsten Lutz & Uli Sattler

Term Rewriting and All That

١٩٩٨

Term Rewriting and Applications

٢٠٠٧