| Type |  Serial |
| ชื่อเรื่อง | ACM Transactions on Computational Logic [electronic resource] |
| ISSN | 1529-3785 |
| พิมพลักษณ์ | New York, NY : Association for Computing Machinery, 2000- |
| ลิงค์ | ACM |
| หัวเรื่อง | Computer science --Periodicals [] |
| | Computer science --Periodlicals [] |
| | COMPUTER SCIENCE --MATHEMATICS --PERIODICALS [] |
| | Logic programming --Periodicals [] |
| | Logic programming --Periodlicals [] |
| | LOGIC, SYMBOLIC AND MATHEMATICAL --PERIODICALS [] |