《Acm Transactions On Computational Logic》中文名稱：《計算邏輯上的 Acm 事務(wù)》，創(chuàng)刊于2000年，由Association for Computing Machinery (ACM)出版商出版，出版周期Quarterly。

TOCL 歡迎提交與邏輯有關(guān)的所有方面的文章，因為它涉及計算機科學(xué)的主題。該領(lǐng)域在計算機科學(xué)中有著悠久的傳統(tǒng)。獲得 ACM 圖靈獎的幾位研究人員也為該領(lǐng)域做出了貢獻，即 Edgar Codd（關(guān)系數(shù)據(jù)庫系統(tǒng)）、Stephen Cook（邏輯理論的復(fù)雜性）、Edsger W. Dijkstra、Robert W. Floyd、Tony Hoare、Amir Pnueli、Dana Scott、Edmond M. Clarke、Allen E. Emerson 和 Joseph Sifakis（程序邏輯、程序推導(dǎo)和驗證、編程語言語義）、Robin Milner（交互式定理證明、并發(fā)演算和函數(shù)式編程）和 John McCarthy（人工智能中的函數(shù)式編程和邏輯）。

邏輯繼續(xù)在計算機科學(xué)中發(fā)揮重要作用，并滲透到其多個領(lǐng)域，包括人工智能、計算復(fù)雜性、數(shù)據(jù)庫系統(tǒng)和編程語言。

本期刊的編輯委員會尋求并希望吸引上述所有計算邏輯領(lǐng)域的高質(zhì)量投稿，以便 TOCL 成為該領(lǐng)域的標準參考。

理論和尋求應(yīng)用論文。尤其歡迎展示邏輯在計算機科學(xué)中的新用途的論文。

投稿《Acm Transactions On Computational Logic》需要準備的文件可詳細閱讀以下要求：

文章要求：

1、建議稿件控制10頁以上，文章撰寫語言為英語；（單欄格式，單倍行距，內(nèi)容10號字體，文稿類型包含：原創(chuàng)研究(Original Research)、案例報告(Case Report)、文獻綜述(Literature Review)等；文件格式包含word、PDF、LaTeX等。

2、稿件重復(fù)率控制10%以內(nèi)，論文務(wù)必保證原創(chuàng)性、圖標、公式、引文等要素齊備，保證附屬資料的完整。已發(fā)表或引用過度的文章將不會被出版和檢索，禁止一稿多投，拒絕抄襲、機械性的稿件。

3、稿件必須有較好的英語表達水平，有圖，有表，有公式，有數(shù)據(jù)或設(shè)計，有算法（方案，模型），實驗，仿真等；參考文獻控制25條以上，參考文獻引用一半以上控制在近5年以內(nèi)。

圖片和圖表要求：

1、建議使用TIFF、EPS、JPEG格式 ，TIFF格式 使用LZW壓縮。

2、文件大小最大不超過20MB，不要以單個文件的形式上傳數(shù)據(jù)。

3、彩色圖片的分辨率≥300dpi；黑白圖片的分辨率在≥500dpi；line art圖片類型的分辨率≥1000dpi；色彩模式建議采用RGB，除非期刊注明要CMYK。

4、線條不要細于0.25pt,也不能太粗，超過1.5pt,過細或過粗都影響美觀。

5、表格一般和manuscrript放置在一個word文檔里部分期刊 需要單獨上傳表格。

作者信息：

1、包括作者姓名、最高學(xué)位，作者單位（精確到部門），郵箱，地址，郵編，關(guān)鍵詞，內(nèi)容，總結(jié)，項目基金，參考文獻，作者相片+簡介（一定要確保作者信息準確無誤，提交稿件之后這部分不能再作改動）。

更多征稿細則請查閱雜志社征稿要求。本站專注期刊咨詢服務(wù)十年，確保SCI檢索，稿件信息安全保密，合乎學(xué)術(shù)規(guī)范不成功不收費，詳情請咨詢客服。

聲明：該作品系作者結(jié)合互聯(lián)網(wǎng)公開知識整合。如有錯漏請聯(lián)系我們，我們將及時更正。