我的圖書館

要求 添加至我的列表 添加至書袋 MARC 顯示 返回瀏覽索引 修改搜索 更多此類
     
可用條款限制搜索
19645 結果查獲. 排序依照 相關性 | 日期 | 書名 .
前一記錄 下一記錄
資源
更多信息
* 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 Periodicals

複本

說明 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
永久鏈接