Tous les livres numériques de Wei Li en PDF et EPUB

12 Livre(s)
Télécharger le livre : R-Calculus, VI: Finite Injury Priority Method
R-Calculus, VI: Finite Injury Priority Method
Wei Li , Yuefei Sui
This sixth volume of the book series applies finite injury priority method to R-calculi and obtain (in)completeness theorem for binary-valued, Post three-valued, B2^2-valued and L4-valued first-order logics, and extend the method to infinite injury priority...

Editeur : Springer
Parution : 2024-10-28
PDF, ePub

147,69 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : R-Calculus, V: Description Logics
R-Calculus, V: Description Logics
Wei Li , Yuefei Sui
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...

Editeur : Springer
Parution : 2024-01-05
Collection : Perspectives in Formal Induction, Revision and Evolution PDF, ePub

179,34 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : R-Calculus, IV: Propositional Logic
R-Calculus, IV: Propositional Logic
Wei Li , Yuefei Sui
This fourth volume of the book series combines propositional logic and R-calculus for a new point of view to consider belief revision. It gives the R-calculi for propositional logic, description logics, propositional modal logic, logic programming,...

Editeur : Springer
Parution : 2023-03-27
Collection : Perspectives in Formal Induction, Revision and Evolution PDF, ePub

179,34 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : R-Calculus, III: Post Three-Valued Logic
R-Calculus, III: Post Three-Valued Logic
Wei Li , Yuefei Sui
This third volume of the book series shows R-calculus is a Gentzen-typed deduction system which is non-monotonic, and is a concrete belief revision operator which is proved to satisfy the AGM postulates and the DP postulates. In this book, R-calculus is taken as...

Editeur : Springer
Parution : 2022-11-19
Collection : Perspectives in Formal Induction, Revision and Evolution PDF, ePub

168,79 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : R-Calculus, II: Many-Valued Logics
R-Calculus, II: Many-Valued Logics
Wei Li , Yuefei Sui
This second volume of the book series shows R-calculus is a combination of one monotonic tableau proof system and one non-monotonic one. The R-calculus is a Gentzen-type deduction system which is non-monotonic, and is a concrete belief revision operator which is proved...

Editeur : Springer
Parution : 2022-04-12
Collection : Perspectives in Formal Induction, Revision and Evolution PDF, ePub

147,69 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : R-CALCULUS: A Logic of Belief Revision
R-CALCULUS: A Logic of Belief Revision
Wei Li , Yuefei Sui
This book introduces new models based on R-calculus and theories of belief revision for dealing with large and changing data. It extends R-calculus from first-order logic to propositional logic, description logics, modal logic and logic programming, and from minimal...

Editeur : Springer
Parution : 2021-11-01
Collection : Perspectives in Formal Induction, Revision and Evolution PDF, ePub

94,94 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Hybrid Organic-Inorganic Perovskites
Hybrid Organic-Inorganic Perovskites
Song Gao , Wei Li , Alessandro Stroppa , Zhe-Ming Wang
Hybrid organic-inorganic perovskites (HOIPs) have attracted substantial interest due to their chemical variability, structural diversity and favorable physical properties the past decade. This materials class encompasses other important families such as formates,...

Editeur : Wiley-VCH
Parution : 2020-06-12
PDF, ePub

149,07 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Artificial Intelligence Algorithms and Applications
Artificial Intelligence Algorithms and Applications
Wei Li , Kangshun Li , Yong Liu , Hui Wang
This book constitutes the thoroughly refereed proceedings of the 11th International Symposium on Intelligence Computation and Applications, ISICA 2019, held in Guangzhou, China, in November 2019.The 65 papers presented were carefully reviewed and selected from  the...

Editeur : Springer
Parution : 2020-05-25
Collection : Communications in Computer and Information Science PDF, ePub

105,49 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : The SAGE Handbook of International Migration
The SAGE Handbook of International Migration
Christine Inglis , Binod Khadria , Wei Li
The SAGE Handbook of International Migration provides an authoritative and informed analysis of key issues in international migration, including its crucial significance far beyond the more traditional questions of immigrant settlement and incorporation in particular...

Editeur : SAGE Publications Ltd
Parution : 2019-11-05
PDF, ePub

106,73 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : 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 , Zijin Li , Xi Shao
This book discusses the use of advanced techniques to produce and understand music in a digital way. It gathers the first-ever English-language proceedings of the Conference on Sound and Music Technology (CSMT), which was held in Xiamen, China in 2018. As a leading...

Editeur : Springer
Parution : 2019-07-02
PDF, ePub

94,94 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Crowdsourcing
Crowdsourcing
Michael N. Huhns , Wei Li , Wei-Tek Tsai , Wenjun Wu
This book presents the latest research on the software crowdsourcing approach to develop large and complex software in a cloud-based platform. It develops the fundamental principles, management organization and processes, and a cloud-based infrastructure to support this...

Editeur : Springer
Parution : 2015-05-28
Collection : Progress in IS PDF, ePub

94,94 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Applications of Finite Element Methods for Reliability Studies on ULSI Interconnections
Applications of Finite Element Methods for Reliability Studies on ULSI Interconnections
Zhenghao Gan , Yuejin Hou , Wei Li , Cher Ming Tan
Applications of Finite Element Methods for Reliability Studies on ULSI Interconnections provides a detailed description of the application of finite element methods (FEMs) to the study of ULSI interconnect reliability. Over the past two decades the application of FEMs...

Editeur : Springer
Parution : 2011-03-28
Collection : Springer Series in Reliability Engineering ePub

94,94 €
Téléchargement immédiat
Dès validation de votre commande