我們的服務(wù)符合學(xué)術(shù)規(guī)范和道德
專業(yè) 高端讓您使用時(shí)沒有后顧之憂
ACM T COMPUT LOG是ACM Transactions on Computational Logic期刊的縮寫。ACM T COMPUT LOG期刊的出版地是UNITED STATES,主要的研究方向是工程技術(shù)-計(jì)算機(jī):理論方法。
ACM計(jì)算邏輯事務(wù)歡迎提交與計(jì)算機(jī)科學(xué)主題相關(guān)的所有方面的邏輯。這一領(lǐng)域在計(jì)算機(jī)科學(xué)方面有著悠久的傳統(tǒng)。邏輯在計(jì)算機(jī)科學(xué)中繼續(xù)發(fā)揮著重要的作用,并已滲透到它的幾個(gè)領(lǐng)域,包括人工智能、計(jì)算復(fù)雜性、數(shù)據(jù)庫系統(tǒng)和編程語言。該雜志的編輯委員會尋求并希望吸引高質(zhì)量的提交在上述所有領(lǐng)域的計(jì)算邏輯,使TOCL成為該領(lǐng)域的標(biāo)準(zhǔn)參考。理論和應(yīng)用論文都是尋求。特別歡迎提交顯示邏輯在計(jì)算機(jī)科學(xué)中的新穎應(yīng)用的作品。
該刊的25,發(fā)行周期是Quarterly,從官網(wǎng)http://tocl.acm.org/上查到本刊的通訊地址是ASSOC COMPUTING MACHINERY, 2 PENN PLAZA, STE 701, NEW YORK, USA, NY, 10121-0701,投稿地址是http://mc.manuscriptcentral.com/tocl。網(wǎng)友對該刊的審稿速度給與的評價(jià)是>12周,或約稿,錄用比一般是容易。