R-Calculus, V: Description Logics

Yuefei Sui, Wei Li

PDF
ca. 181,89
Amazon iTunes Thalia.de Hugendubel Bücher.de ebook.de kobo Osiander Google Books Barnes&Noble bol.com Legimi yourbook.shop Kulturkaufhaus ebooks-center.de
* Affiliatelinks/Werbelinks
Hinweis: Affiliatelinks/Werbelinks
Links auf reinlesen.de sind sogenannte Affiliate-Links. Wenn du auf so einen Affiliate-Link klickst und über diesen Link einkaufst, bekommt reinlesen.de von dem betreffenden Online-Shop oder Anbieter eine Provision. Für dich verändert sich der Preis nicht.

Springer Nature Singapore img Link Publisher

Naturwissenschaften, Medizin, Informatik, Technik / Informatik

Beschreibung

This book series consists of two parts, decidable description logics and undecidable description logics. It gives the R-calculi for description logics. This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic. 

Weitere Titel in dieser Kategorie
Cover Unity Cookbook
Christopher Coutinho

Kundenbewertungen

Schlagwörter

Description Logics, R-calculus, Gentzen Deduction System, Multisequents, Soundness and Completeness, Role Constructors, Post Three-valued Logic