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