切换导航
Radboud存储库
切换导航
查看项目
Radboud存储库
藏品Radboud大学
学术出版物
查看项目
Radboud存储库
藏品Radboud大学
学术出版物
查看项目
浏览器已禁用JavaScript。
没有它,此网站的某些功能可能无法运行。
搜索存储库
本系列
浏览
所有存储库
收藏
部门
发布日期
作者
标题
文档类型
本系列
部门
发布日期
作者
标题
文档类型
统计
查看项目统计信息
参数化布尔方程系统
全文:
32828.pdf格式
尺寸:
237.6千桶
格式:
PDF格式
描述:
作者版本预印本
下载
出版年份
2005
作者
J.F.格罗特。
T.A.C.威廉姆斯。
来源
理论计算机科学,343,3,(2005),第332-369页
ISSN公司
0304-3975
内政部
https://doi.org/10.1016/j.tcs.2005.06.016
出版物类型
文章/致编辑的信
请使用此标识符引用或链接此项目:
https://hdl.handle.net/2066/32828
显示更多详细信息
显示较少的详细信息
组织
技术应用信息学
期刊标题
理论计算机科学
体积
第343卷
问题
国际空间站。
三
页面开始
第332页
页面结尾
第369页
主题
技术应用信息学
此项目出现在以下集合中
学术出版物
[240236]
电子出版物
[124867]
科学学院
[35232]
开放存取出版物
[99737]
上传全文
使用您的RU凭据(u/z编号和密码)
使用SURFconext登录
上传文件供存储库团队处理。