R-Calculus, V: Description Logics

Li, Wei, Sui, Yuefei

R-Calculus, V: Description Logics
  • 出版商: Springer
  • 出版日期: 2024-01-06
  • 售價: $7,780
  • 貴賓價: 9.5 折 $7,391
  • 語言: 英文
  • 頁數: 384
  • 裝訂: Hardcover - also called cloth, retail trade, or trade
  • ISBN: 9819964598
  • ISBN-13: 9789819964598
  • 相關分類: 微積分 Calculus

    • 海外代購書籍(需單獨結帳)

相關主題

商品描述

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 practitioners in the field of logic.

商品描述(中文翻譯)

本書系列由兩部分組成：可判定的描述邏輯和不可判定的描述邏輯。它提供了描述邏輯的R計算。這本書融合了豐富的理論與實踐，適合邏輯領域的學生、研究人員和實務工作者。

作者簡介

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.


作者簡介(中文翻譯)

魏立是北京航空航天大學計算機科學與工程學院的教授，並且是中國科學院的成員。魏教授主要從事計算機軟體與理論及互聯網的應用研究，包括程式語言、軟體開發、人工智慧和集成電路設計。

隋月飛是中國科學院計算技術研究所的教授。他的主要研究興趣包括知識表示、應用邏輯和計算理論。

類似商品