лупа
Search Loader

автор: Alexandre Rademaker

поддержка

1 Электронные книги Alexandre Rademaker

Alexandre Rademaker: A Proof Theory for Description Logics
Description Logics (DLs) is a family of formalisms used to represent knowledge of a domain. They are equipped with a formal logic-based semantics. Knowledge representation systems based on descriptio …
PDF
английский
€53.49