단행본 상세

서지주요정보
R-Calculus, II: Many-Valued Logics
서명 / 저자 R-Calculus, II: Many-Valued Logics [electronic resource] / by Wei Li, Yuefei Sui.
저자명 Li, Wei. author. aut http://id.loc.gov/vocabulary/relators/aut
Sui, Yuefei. author. aut http://id.loc.gov/vocabulary/relators/aut
단체명 SpringerLink (Online service)
판사항 1st ed. 2022.
발행사항 Singapore : Springer Nature Singapore : Imprint: Springer, 2022.
총서명 Perspectives in Formal Induction, Revision and Evolution, 2731-3697
Online Access https://doi.org/10.1007/978-98... URL

서지기타정보

서지기타정보
ISBN 9789811692949
기타 표준번호 10.1007/978-981-16-9294-9
청구기호 QA267-268.5
형태사항 XIII, 271 p. 6 illus., 1 illus. in color. online resource.
언어 English
내용 Introduction -- R-Calculus For Propositional Logic -- R-Calculus For L3-Valued Propositional Logic -- R-Calculus For L3-Valued PL,II -- R-Calculus For B22-Valued PL -- R-Calculus For B22-Valued PL,II -- Complementary R-Calculus For PL -- Multisequents and Hypersequents -- Product of Two R-Calculi -- Sum of Two R-Calculi.
주제 Machine theory.
Mathematical logic.
Logic programming.
Mathematical models.
Big data.
Formal Languages and Automata Theory.
Mathematical Logic and Foundations.
Logic in AI.
Mathematical Modeling and Industrial Mathematics.
Big Data.
보유판 및 특별호 저록 Springer Nature eBook
Printed edition: 9789811692932 Printed edition: 9789811692956 Printed edition: 9789811692963
QR CODE