Details
Title
ACM transactions on computational logic
Other Title
TOCL
Language
English
Corporate Author
Imprint
New York, NY : Association for Computing Machinery
Description
v. ; 26 cm.
Frequency
Quarterly
Summary
[Publisher description] ACM Transactions on Computational Logic (TOCL) is devoted to research concerned with all uses of logic in computer science. Logic continues to play an important role in computer science and permeates many of its areas including: artificial intelligence, computational complexity, database systems and programming languages.
Holdings
ITU Library holdings : Vol. 10, no. 3(2009)-Vol. 13, no. 2(2012).
ISSN
1529-3785
Location
Library Storage room PER004
Record Appears in