版权所有：内蒙古大学图书馆 技术提供：维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
R-Calculus, II: Many-Valued Logics
丛 书 名：Perspectives in Formal Induction, Revision and Evolution
版本说明：1st ed. 2022
I S B N：(纸本) 9789811692932
出 版 社：Springer Nature Singapore
出 版 年：2022年
丛 书 名：Perspectives in Formal Induction, Revision and Evolution
版本说明：1st ed. 2022
I S B N：(纸本) 9789811692932
出 版 社：Springer Nature Singapore
出 版 年：2022年
