01113nam--2200361---450 99000063994020331620240610131240.00063994USA010063994(ALEPH)000063994USA01006399420010925d1985----km-y0itay0103----baengUS||||||||001yyConstructive analysisErrett Bishop, Douglas BridgesNew YorkSpringer-Verlagc1985XII, 477 p.23 cm<<Die>> Grundlehren der Mathematischen Wissenschaften2790010003168452001<<Die>> Grundlehren der Mathematischen Wissenschaften279515.BISHOP,Errett44921BRIDGES,Douglas441862ITsalbcISBD990000639940203316510 GLM 27914646 CBS51000108877BKSCIPATTY9020010925USA01154720020403USA011713PATRY9020040406USA011644Constructive analysis957946UNISA03103nam 22007335 450 991079923810332120240628140415.0981-9964-60-110.1007/978-981-99-6460-4(CKB)29551279200041(DE-He213)978-981-99-6460-4(MiAaPQ)EBC31094188(Au-PeEL)EBL31094188(EXLCZ)992955127920004120240105d2024 u| 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierR-Calculus, V: Description Logics /by Wei Li, Yuefei Sui1st ed. 2024.Singapore :Springer Nature Singapore :Imprint: Springer,2024.1 online resource (XIII, 384 p. 4 illus., 1 illus. in color.) Perspectives in Formal Induction, Revision and Evolution,2731-36979789819964598 Includes bibliographical references.Introduction -- Decidable DLs 30 -- R-calculus for binary-valued description logic -- R-calculi for Post three-valued DL -- R-calculi for B22-valued DL -- R-calculi for Post L4 -valued DL -- Undecidable DLs -- Introduction -- Role R-calculus for binary-valued DL -- Role R-calculus for Post three-valued DL -- Role R-calculus for B22 -valued DL -- Role R-calculus for Post L4-valued DL -- A Finite injury priority method.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. .Perspectives in Formal Induction, Revision and Evolution,2731-3697Machine theoryLogic, Symbolic and mathematicalLogic programmingMathematical modelsComputer scienceMathematicsBig dataFormal Languages and Automata TheoryMathematical Logic and FoundationsLogic in AIMathematical Modeling and Industrial MathematicsMathematics of ComputingBig DataMachine theory.Logic, Symbolic and mathematical.Logic programming.Mathematical models.Computer scienceMathematics.Big data.Formal Languages and Automata Theory.Mathematical Logic and Foundations.Logic in AI.Mathematical Modeling and Industrial Mathematics.Mathematics of Computing.Big Data.515Li Wei1625-1684,1768882Sui YuefeiMiAaPQMiAaPQMiAaPQBOOK9910799238103321R-Calculus, V: Description Logics4234222UNINA