Синяя социальная система управления закладками и публикациями.
Log in with your username.
Я забыл свой пароль.
Log in with your OpenID-Provider.
Motik, Boris Reasoning in Description Logics using Resolution and Deductive Databases Universität Karlsruhe, Fak. f. Wirtschaftswissenschaften. Diss. v. 09.01.2006.
