購物比價找書網找車網
FindBook  
 有 1 項符合

R-Calculus, VI: Finite Injury Priority Method

的圖書
R-Calculus, VI: Finite Injury Priority Method R-Calculus, VI: Finite Injury Priority Method

作者:Li 
出版社:Springer
出版日期:2024-10-29
語言:英文   規格:精裝 / 普通級/ 初版
圖書選購
型式價格供應商所屬目錄
 
$ 10199
博客來 博客來
數學
圖書介紹 - 資料來源:博客來   評分:
圖書名稱:R-Calculus, VI: Finite Injury Priority Method

內容簡介

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 method and 0"-method for default logic to produce pseudo-extensions of a default theory, corresponding to different R-calculi. Finite injury priority method and tree constructions are discussed in this book. This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic.

 

作者簡介

Wei Li is a Professor in the School of Computer Science and Engineering, Beihang University, Beijing, China and is a member of the Chinese Academy of Sciences. Li is mostly engaged in the applied research of Computer Software and Theory, and the Internet, including programming languages, software development, artificial intelligence, and integrated circuit design.

Yuefei Sui is a Professor in the Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China. His main interests include knowledge representation, applied logic and the theory of computation.


 

詳細資料

  • ISBN:9789819758296
  • 規格:精裝 / 普通級 / 初版
  • 出版地:美國
贊助商廣告
 
金石堂 - 今日66折
學習樹系列套書:三年級(健康X自然X數學)
作者:學習樹研究發展總部
出版社:五南圖書出版股份有限公司
出版日期:2018-05-28
66折: $ 673 
金石堂 - 今日66折
鈔能戰士 數字13的秘密
作者:嚴淑女
出版社:聚光文創
出版日期:2021-11-15
66折: $ 185 
金石堂 - 今日66折
解密陌生人:顛覆識人慣性,看穿表相下的真實人性。
作者:麥爾坎.葛拉威爾
出版社:時報文化出版企業股份有限公司
出版日期:2020-06-26
66折: $ 317 
金石堂 - 今日66折
開啟人生的10道任意門(10片CD)
作者:許添盛
出版社:賽斯文化
出版日期:2014-03-10
66折: $ 660 
 
博客來 - 暢銷排行榜
孤獨搖滾! 7 (首刷限定版)
出版日期:2025-01-20
$ 246 
Taaze 讀冊生活 - 暢銷排行榜
在紙船中入眠(上)
作者:八田てき
出版社:尖端出版
出版日期:2024-12-10
$ 204 
博客來 - 暢銷排行榜
SPY×FAMILY 間諜家家酒 14 (首刷限定版)
作者:遠藤達哉
出版社:東立
出版日期:2025-02-04
$ 212 
博客來 - 暢銷排行榜
黃仁勳傳:輝達創辦人如何打造全球最搶手的晶片
作者:史帝芬.維特 (Stephen Witt)
出版社:天下文化
出版日期:2025-01-20
$ 395 
 
金石堂 - 新書排行榜
與歐巴桑、蕩蕩。
$ 237 
博客來 - 新書排行榜
吾命騎士【2025珍愛特裝組】
出版日期:2025-02-12
$ 558 
博客來 - 新書排行榜
16647(1)【特裝版】
$ 780 
金石堂 - 新書排行榜
哈利路亞寶貝 (2)
作者:仔縞樂々
出版社:台灣角川股份有限公司
出版日期:2025-02-20
$ 126 
 

©2025 FindBook.com.tw -  購物比價  找書網  找車網  服務條款  隱私權政策