R-calculus, V: description logics

著者

• Li, Wei
• Sui, Yuefei

書誌事項

R-calculus, V: description logics

Wei Li, Yuefei Sui

（Perspectives in Formal Induction, Revision and Evolution）

Springer Nature Singapore, 2024

注記

Includes bibliographical references

詳細情報

• NII書誌ID(NCID): BD06676427
• ISBN:
  • 9789819964598
• 出版国コード: si
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Singapore
• ページ数/冊数: xiii, 384 p.
• 大きさ: 25 cm
• 件名:
  • LCSH : Machine theory
  • LCSH : Mathematical logic
  • LCSH : Logic programming
  • LCSH : Mathematical models
  • LCSH : Computer science
  • LCSH : Big data