Baader F.
|
Библиография книг автора
Baader F.
Nipkow T.
Term Rewriting and All That
This textbook offers a unified, self-contained introduction to the field of term rewriting....
|
Нет в наличии |
Baader F.
Calvanese D.
McGuinness D.
Nardi D.
Patel-Schneider P.
The Description Logic Handbook : Theory, Implementation and Applications
Description Logics are knowledge representation languages that have been studied extensively in artificial intelligence over the last two decades. This Handbook covers all aspects of research in this field; including theory, implementation, and applications....
|
Нет в наличии |