Goread Books
R-Calculus, V: Description Logics

R-Calculus, V: Description Logics

Title: R-Calculus, V: Description Logics
Author: Wei Li & Yuefei Sui
Release: 2024-01-05
Kind: ebook
Genre: Computers, Books, Computers & Internet, Databases, Science & Nature, Mathematics
Size: 34763247
Download Free Read Free
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 Books from Wei Li & Yuefei Sui

The Secret to Human Happiness and Immortality
The Secret to Human Happiness and Immortality
Wei Li
Echocardiography in Adult Congenital Heart Disease
Echocardiography in Adult Congenital Heart Disease
Wei Li, Michael Henein & Michael A. Gatzoulis
Alternating Current Field Measurement Technique for Detection and Measurement of Cracks in Structures
Alternating Current Field Measurement Technique for Detection and Measurement of Cracks in Structures
Wei Li, Xin'an Yuan, Jianming Zhao, Xiaokang Yin & Xiao Li
Mathematical Logic
Mathematical Logic
Wei Li
R-Calculus, II: Many-Valued Logics
R-Calculus, II: Many-Valued Logics
Wei Li & Yuefei Sui
R-Calculus, IV: Propositional Logic
R-Calculus, IV: Propositional Logic
Wei Li & Yuefei Sui
Combinatorial Optimization and Applications
Combinatorial Optimization and Applications
Zaixin Lu, Donghyun Kim, Weili Wu, Wei Li & Ding-Zhu Du
嫉俗
嫉俗
Wei Li & 於是
Algorithmic Aspects in Information and Management
Algorithmic Aspects in Information and Management
Zhao Zhang, Wei Li & Ding-Zhu Du
Proceedings of the 6th Conference on Sound and Music Technology (CSMT)
Proceedings of the 6th Conference on Sound and Music Technology (CSMT)
Wei Li, Shengchen Li, Xi Shao & Zijin Li
R-Calculus, V: Description Logics
R-Calculus, V: Description Logics
Wei Li & Yuefei Sui
Computational Intelligence and Intelligent Systems
Computational Intelligence and Intelligent Systems
Kangshun Li, Wei Li, Zhangxing Chen & Yong Liu
Stereoselective Formation of Amines
Stereoselective Formation of Amines
Wei Li & Xumu Zhang
Applications of Finite Element Methods for Reliability Studies on ULSI Interconnections
Applications of Finite Element Methods for Reliability Studies on ULSI Interconnections
Cher Ming Tan, Wei Li, Zhenghao Gan & Yuejin Hou
Security, Privacy, and Anonymity in Computation, Communication, and Storage
Security, Privacy, and Anonymity in Computation, Communication, and Storage
Guojun Wang, Bing Chen, Wei Li, Roberto Di Pietro, Xuefeng Yan & Hao Han
Artificial Intelligence Algorithms and Applications
Artificial Intelligence Algorithms and Applications
Kangshun Li, Wei Li, Hui Wang & Yong Liu
R-Calculus, VI: Finite Injury Priority Method
R-Calculus, VI: Finite Injury Priority Method
Wei Li & Yuefei Sui
Crowdsourcing
Crowdsourcing
Wei Li, Michael N. Huhns, Wei-Tek Tsai & Wenjun Wu
Wireless Algorithms, Systems, and Applications
Wireless Algorithms, Systems, and Applications
Sriram Chellappan, Wei Cheng & Wei Li
Security, Privacy, and Anonymity in Computation, Communication, and Storage
Security, Privacy, and Anonymity in Computation, Communication, and Storage
Guojun Wang, Bing Chen, Wei Li, Roberto Di Pietro, Xuefeng Yan & Hao Han
Computational Intelligence and Intelligent Systems
Computational Intelligence and Intelligent Systems
Kangshun Li, Wei Li, Zhangxing Chen & Yong Liu
Recent Development of Alternating Current Field Measurement Combine with New Technology
Recent Development of Alternating Current Field Measurement Combine with New Technology
Xin'an Yuan, Wei Li, Jianming Zhao, Xiaokang Yin, Xiao Li & Jianchao Zhao