返回检索首页
我的图书馆登录
书 名
作 者
分类号
ISBN
索书号
主题词
出版社
任意词
每页显示
10
20
50
排序选项
排序方式
出版日期
索书号
出版社
排序方式
降序排列
升序排列
O141.3/2
共有
4
条记录
共耗时[0.000]秒
页码：
1
/
1
每页显示：
10
记录
跳转：
Computability, an introduction to recursive function theory /
:Cutland, Nigel.
作者：
Cutland, Nigel.
出版社：
Cambridge University Press,
出版时间：
1980
ISBN：
0-521-22384-9
索书号：
O141.3/2
分类号：
O141.3
页数：
x, 251 p. :
复本数：
在馆数：
累借天数：
累借次数：
详细信息
索书号
展开
多值逻辑函数结构理论研究
:刘任任, 欧阳建权
作者：
刘任任, 欧阳建权
出版社：
科学出版社
出版时间：
2010
ISBN：
978-7-03-025868-7
索书号：
O141.3/2
分类号：
O141.3
页数：
295页
价格：
55.00
复本数：
在馆数：
累借天数：
累借次数：
本书较系统地介绍了完全和部分多值逻辑函数的结构理论, 较详细地介绍了部分多值逻辑中Sheffer函数的判定与构造问题, 重点介绍了作者提出的部分多值逻辑中准完备集之间的相似关系概念, 此外, 还介绍了多值逻辑函数的扩散性、非线性性及其在有限域上的置换等性质的研究成果。
详细信息
索书号
展开
6th Symposium on Computer Arithmetic :: proceedings, June 20-22, 1983, Aarhus Univ., Aarhus, Denmark /
:
作者：
出版社：
IEEE Computer Society Press,
出版时间：
1983
ISBN：
0-8186-0034-9
索书号：
O141.3-53/2
分类号：
O141.3-53
页数：
xi, 221 p. :
复本数：
在馆数：
累借天数：
累借次数：
详细信息
索书号
展开
多值逻辑的方法和理论: 非正规多值逻辑研究
:霍书全
作者：
霍书全
出版社：
科学出版社
出版时间：
2009
ISBN：
978-7-03-023247-2
索书号：
O141.3/1
分类号：
O141.3
页数：
171页
价格：
32.00
复本数：
在馆数：
累借天数：
累借次数：
本书回顾了多值逻辑发展简史, 对一系列逻辑学家提出的一些逻辑系统及其语义和哲学背景给以介绍。
详细信息
索书号
展开
缩小检索范围
文献类型
中文图书
(
2
)
西文图书
(
2
)
出版社
科学出版社
(
2
)
Cambridge University Press,
(
1
)
IEEE Computer Society Press,
(
1
)
只显示前10条......
科学出版社
(
2
)
Cambridge University Press,
(
1
)
IEEE Computer Society Press,
(
1
)
查看更多信息......
作者
Cutland, Nigel.
(
1
)
刘任任, 欧阳建权
(
1
)
霍书全
(
1
)
只显示前10条......
Cutland, Nigel.
(
1
)
刘任任, 欧阳建权
(
1
)
霍书全
(
1
)
查看更多信息......
出版年
1980
(
1
)
1983
(
1
)
2009
(
1
)
2010
(
1
)
只显示前10条......
1980
(
1
)
1983
(
1
)
2009
(
1
)
2010
(
1
)
查看更多信息......
O141.3/2
共有
4
条记录
共耗时[0.000]秒
页码：
1
/
1
每页显示：
10
记录
跳转：