Kaca pembesar
Cari Loader

Penulis: Alexandre Rademaker

Dukung

1 Ebooks oleh 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
Inggris
€53.49