Term Rewriting and Applications المزيد من كتب Franz Baader

An Introduction to Description Logic An Introduction to Description Logic
An Introduction to Description Logic
٢٠١٧
Term Rewriting and All That Term Rewriting and All That
Term Rewriting and All That
١٩٩٨