The Description Logic Han
Franz Baader
Term Rewriting and All Th
Term Rewriting and All That (1999)
1wollen lesen
Computer
Unified and self-contained introduction to term-rewriting; suited for students or professionals.