文章基本信息
- 标题：An Improvement on Sub-Herbrand Universe Computation
- 本地全文：下载
- 作者：Lifeng He ; Yuyan Chao ; Kenji Suzuki 等
- 期刊名称：The Open Artificial Intelligence Journal
- 电子版ISSN：1874-0618
- 出版年度：2007
- 卷号：1
- 页码：12-18
- DOI：10.2174/1874061800701010012
- 出版社：Bentham Science Publishers Ltd
