HOME View All Genre

Book

Audiobook

GENRES 🌙 Dark

R-Calculus, V: Description Logics - Wei Li & Yuefei Sui

By Wei Li & Yuefei Sui

Release Date: 2024-01-05

Genre: Computers

(0 ratings)
Read Download
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 - Wei Li & Yuefei Sui

By Wei Li & Yuefei Sui

Release Date: 2024-01-05

Genre: Computers

(0 ratings)
Read Download
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. 

More by Wei Li & Yuefei Sui

The Secret to Human Happiness and Immortality

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

Echocardiography in Adult Congenital Heart Disease

Mathematical Logic

R-Calculus, II: Many-Valued Logics

R-Calculus, IV: Propositional Logic

Combinatorial Optimization and Applications

嫉俗

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

Applications of Finite Element Methods for Reliability Studies on ULSI Interconnections

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

Artificial Intelligence Algorithms and Applications

R-Calculus, VI: Finite Injury Priority Method

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

Related Articles