HOME Popular Books Popular Audioooks Popular Textbooks Popular Freebooks More Genres

Book

Audiobook

Genres

R-Calculus, V: Description Logics

By Wei Li & Yuefei Sui

Release : 2024-01-05

Genre : Computers, Books, Computers & Internet, Databases, Science & Nature, Mathematics

Kind : ebook

(0 ratings)
This fifth volume of the 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. 

R-Calculus, V: Description Logics

By Wei Li & Yuefei Sui

Release : 2024-01-05

Genre : Computers, Books, Computers & Internet, Databases, Science & Nature, Mathematics

Kind : ebook

(0 ratings)
This fifth volume of the 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. 

advertisement

Access e-books

More By Wei Li & Yuefei Sui

The Secret to Human Happiness and Immortality

Echocardiography in Adult Congenital Heart Disease

Mathematical Logic

R-Calculus, II: Many-Valued Logics

Combinatorial Optimization and Applications

R-Calculus, IV: Propositional Logic

嫉俗

Algorithmic Aspects in Information and Management

Proceedings of the 6th Conference on Sound and Music Technology (CSMT)

R-Calculus, V: Description Logics

Computational Intelligence and Intelligent Systems

Stereoselective Formation of Amines

Security, Privacy, and Anonymity in Computation, Communication, and Storage

Applications of Finite Element Methods for Reliability Studies on ULSI Interconnections

Alternating Current Field Measurement Technique for Detection and Measurement of Cracks in Structures

Artificial Intelligence Algorithms and Applications

Crowdsourcing

Wireless Algorithms, Systems, and Applications

Security, Privacy, and Anonymity in Computation, Communication, and Storage

Computational Intelligence and Intelligent Systems

Recent Development of Alternating Current Field Measurement Combine with New Technology