ACM transactions on computational logic
| Τίτλος | ACM transactions on computational logic. |
| Άλλος τίτλος | TOCL |
| Τίτλος κλειδί | ACM transactions on computational logic |
| Συντομογραφία | ACM trans. comput. log. |
| Τμήμα τίτλου | Computational logic |
| Transactions on computational logic |
| ISSN | 1529-3785 |
| Έτη έκδοσης | 2000- |
| Δημοσίευση | New York, NY : Association for Computing Machinery, c2000- |
| Αρίθμηση περιοδικής έκδοσης | Vol. 1, no. 1 (July 2000)- |
| Πνευματική υπευθυνότητα | Association for Computing Machinery. |
| Γλώσσα | Αγγλική |
| Χώρα | Ηνωμένες Πολιτείες Αμερικής |
| Άλλη έκδοση σε διαφορετικό μέσο | ACM transactions on computational logic (Online) [ISSN 1557-945X] |
| Θέματα | Computer logic. |
| Computer science -- Mathematics. |
| Logic, Symbolic and mathematical. |
| DDC Ταξινόμηση | 004.015113 (23) |
| Ηλεκτρονική Τοποθεσία | http://dl.acm.org/journal/t(...) |
