登录
 机构网站
  1. 首页
  2. 电子图书
  3. 图书详情
...

R-Calculus, V: Description Logics
EISBN：9789819964604
PISBN：9789819964598
出版社：Springer Nature
出版时间：2024
作者：Wei Li,Yuefei Sui
主题词：BISAC Category: Mathematics,Logic,Computers,Artificial Intelligence,General,Mathematics,Applied,Computers,Data Science,General,Computers,Database Administration & Management,Computers,Computer Science,Mathematics,Probability & Statistics,General
学科：O172 ( O 数理科学和化学,O1 数学,O17 数学分析,O172 微积分 )
语种：英语
所属数据库：SpringerLink电子图书
丛书题名：Perspectives in Formal Induction, Revision and Evolution
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

R-Calculus, II: Many-Valued Logics
  • 作者：Wei Li;Yuefei Sui
  • EISBN：9789811692949
  • 出版社：Springer Nature
  • 出版时间：2022
...

R-Calculus, IV: Propositional Logic
  • 作者：Wei Li,Yuefei Sui
  • EISBN：9789811986338
  • 出版社：Springer Nature
  • 出版时间：2023
...

Description Logics in Multimedia Reasoning
  • 作者：Leslie F. Sikos
  • EISBN：9783319540665
  • 出版社：Springer International Publishing
  • 出版时间：2017
...

A Proof Theory for Description Logics
  • 作者：Alexandre Rademaker
  • EISBN：9781447140023
  • 出版社：Springer London
  • 出版时间：2012
...

Applied Calculus with R
  • 作者：Thomas J. Pfaff
  • EISBN：9783031285714
  • 出版社：Springer Nature
  • 出版时间：2023
...

Non-Standard Inferences in Description Logics
  • 作者：Ralf Küsters
  • EISBN：9783540446132
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2001