An Introduction to Description Logic 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년