Kính lúp
Trình tải tìm kiếm

Tác giả: Alexandre Rademaker

Ủng hộ

1 Ebooks bởi 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
Anh
€53.49