樹人論文網一個專業的學術咨詢網站?。?!
樹人論文網
學術咨詢服務

ACM Transactions on Computational Logic

來源: 樹人論文網 瀏覽次數:1467次
周期:Quarterly
ISSN:1529-3785
影響因子:0.448
是否開源:No
年文章量:33
錄用比:容易
學科方向:計算機:理論方法
研究方向:工程技術
通訊地址:ASSOC COMPUTING MACHINERY, 2 PENN PLAZA, STE 701, NEW YORK, USA, NY, 10121-0701
官網地址:http://tocl.acm.org/
投稿地址:http://mc.manuscriptcentral.com/tocl
網友分享經驗:>12周,或約稿

ACM Transactions on Computational Logic雜志中文介紹

ACM計算邏輯事務歡迎提交與計算機科學主題相關的所有方面的邏輯。這一領域在計算機科學方面有著悠久的傳統。邏輯在計算機科學中繼續發揮著重要的作用,并已滲透到它的幾個領域,包括人工智能、計算復雜性、數據庫系統和編程語言。該雜志的編輯委員會尋求并希望吸引高質量的提交在上述所有領域的計算邏輯,使TOCL成為該領域的標準參考。理論和應用論文都是尋求。特別歡迎提交顯示邏輯在計算機科學中的新穎應用的作品。

ACM Transactions on Computational Logic雜志英文介紹

ACM Transactions on Computational Logic welcomes submissions related to all aspects of logic as it pertains to topics in computer science. This area has a great tradition in computer science.Logic continues to play an important role in computer science and has permeated several of its areas, including artificial intelligence, computational complexity, database systems, and programming languages.The Editorial Board of this journal seeks and hopes to attract high-quality submissions in all the above-mentioned areas of computational logic so that TOCL becomes the standard reference in the field.Both theoretical and applied papers are sought. Submissions showing novel use of logic in computer science are especially welcome.

影響因子

計算機:理論方法領域相關期刊
    暫時沒有數據
人妻在线视频无码专区_一级a做片久久亚洲欧美性_亚洲无码国产午夜视频_久久91免费视频