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

R-Calculus, II: Many-Valued Logics
EISBN：9789811692949
PISBN：9789811692932
出版社：Springer Nature
出版时间：2022
作者：Wei Li;Yuefei Sui
主题词：Computer Science
学科：O 数理科学和化学,O1 数学,O14 数理逻辑、数学基础,O141 数理逻辑（符号逻辑）,O141.2 证明论
语种：英语
所属数据库：SpringerLink电子图书
丛书题名：Perspectives in Formal Induction, Revision and Evolution
2浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Many-Valued Logics
  • 作者：Leonard Bolc,Piotr Borowik
  • EISBN：9783662084946
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1992
...

Many-Valued Logics 1
  • 作者：Leonard Bolc,Piotr Borowik
  • EISBN：9783662084946
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1992
...

Many-Valued Logics
  • 作者：J.Barkley Rosser,Atwell R. Turquette
  • PISBN：9780444533722
  • 出版时间：Pre 2007
...

R-Calculus, V: Description Logics
  • 作者：Wei Li,Yuefei Sui
  • EISBN：9789819964604
  • 出版社：Springer Nature
  • 出版时间：2024
...

Algebraic Foundations of Many-Valued Reasoning
  • 作者：R.L. Cignoli,Itala M. d'Ottaviano,Daniele Mundici
  • EISBN：9789401594806
  • 出版社：Springer Netherlands
  • 出版时间：2000
...

Algebraic Foundations of Many-Valued Reasoning
  • 作者：Roberto L. O. Cignoli,Itala M. L. D’Ottaviano,Daniele Mundici
  • EISBN：9789401594806
  • 出版社：Springer Netherlands
  • 出版时间：2000