我的图书馆

要求 添加至我的列表 添加至书袋 MARC显示 返回浏览索引
     
可用条款限制搜索
前一记录 下一记录
资源
更多信息
* Search MOBIUS *
ELECTR RESOURC

题名 ACM transactions on computational logic [electronic resource].

出版资料 New York, NY : Association for Computing Machinery, c2000-
接通
Full text available from ACM Digital Library: 07/01/2000 to present
资料标识 Electronic Resource 
索书号QA76.9.L63 A3
馆藏地IU Per

复本

载体形态 v. ; 26 cm.
Frequency Quarterly.
Publication Date Vol. 1, no. 1 (July 2000)-
Notes Title from cover.
Latest issue consulted: Vol. 2, no. 4 (Oct. 2001).
Vol. 1 complete with 2 issues.
主题 Computer logic -- Periodicals.
Logic, Symbolic and mathematical -- Periodicals.
Computer science -- Mathematics -- Periodicals.
Logique informatique -- Périodiques.
Logique symbolique et mathématique -- Périodiques.
Informatique -- Mathématiques -- Périodiques.
Genre Electronic journals.
其它责任者 Association for Computing Machinery.
ACM Digital Library.
Key Title ACM trans. comput.log.
ACM transactions on computational logic.
附加题名 Computational logic.
Transactions on computational logic.
Other Title TOCL.
国际标准期刊编号 1529-3785
永久链接