自然数的紧化延伸机器证明系统

自然数的紧化延伸机器证明系统

出版社：科学出版社

ISBN：9787030775450

出版年：2024

作者：郁文生

学科：电技术、电子技术

资源类型：图书

细分类型：中文文献

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

算术超滤 :自然数的紧化延伸 :end-extensions of N in βN

作者：汪芳庭
ISBN：9787312038280
出版社：中国科学技术大学出版社
出版年：2016

定理机器证明

作者：刘叙华
出版社：科学出版社
出版年：1987

分析基础机器证明系统

作者：郁文生
ISBN：9787030706713
出版社：科学出版社
出版年：2022

基于Pushdown系统证明的可视化

作者：周青
出版年：2016

信号与系统 :内容延伸及方法拓展

作者：陈绍荣
ISBN：9787121333538
出版社：电子工业出版社
出版年：2021

自然数中的明珠

作者：俞晓群
ISBN：9787544447379
出版社：上海教育出版社
出版年：2013