Introduction to annotated logics : foundations for paracomplete and paraconsistent reasoning

• Material Type: 図書
• ISBN: 9783319179117 (hardback); 331917911X (hardback)
• ISSN (series): 1868-4394
• Title: Introduction to annotated logics : foundations for paracomplete and paraconsistent reasoning
• Author/Editor: Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu.
• Series Title: Intelligent systems reference library ; volume 88
• Title Heading: Intelligent systems reference library ; v. 88. 1868-4394
• Author Heading: Abe, Jair Minoro.; 赤間, 世紀, 1960- アカマ, セイキ, 1960- ( 00259108 )Authorities; Nakamatsu, Kazumi. [中松和巳]
• Publication, Distribution, etc.: Cham : Springer (出版); New York : Springer (出版)
• Publication Date: [2015]
• Publication Date (W3CDTF): 2015
• Extent: x, 190 pages
• Other physical details: illustrations
• Size: 24 cm.
• Place of Publication (Country Code): CH
• Text Language Code: eng
• Content Type: text
• Media Type: unmediated
• Carrier Type: volume
• Subject Heading: Logic programming.; Intelligence artificielle.
• LCC: QA76.63
• DDC: 511.3
• NDLC: M159
• Target Audience: 一般
• Note (Bibliography): Includes bibliographical references and index.
• Collection (particular): 日本関係外国語図書
• Holding library: 国立国会図書館
• Call No.: M159-B158
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 026348605; http://id.ndl.go.jp/bib/026348605
• LC Control Number: 2015936469; https://lccn.loc.gov/2015936469
• OCLC No.: 921926459; https://www.worldcat.org/oclc/921926459
• Cataloging Rule: RDA
• Bibliographic Record Category (NDL): 211

• Contents: IntroductionPropositional Annotated Logics PtPredicate Annotated Logics Qt...
• Summary, etc.: "Provides logical foundations for annotated logics. Discusses interesting applications of annotated logics. Presents the foundations for paracomplete ...