ACM transactions on computational logic [electronic resource].
| Corporate Author: | |
|---|---|
| Language: | English |
| Published: |
New York, NY :
Association for Computing Machinery,
©2000-
|
| Subjects: | |
| Genre: | |
| Online Access: | |
| Variant Title: |
Association for Computing Machinery transactions on computational logic
Computational logic
Transactions on computational logic
TOCL [Other title] |
| Format: | Electronic Journal |
MARC
| LEADER | 00000cas a22000003a 4500 | ||
|---|---|---|---|
| 001 | ebs99113e | ||
| 003 | EBZ | ||
| 006 | m o d |||||| | ||
| 007 | cr|unu|||||||| | ||
| 008 | 000324c20009999nyuqr p o 0 a0eng c | ||
| 022 | |a 1557-945X |y 1529-3785 | ||
| 035 | |a (EBZ)ebs99113e | ||
| 040 | |a NSD |b eng |d EBZ | ||
| 042 | |a pcc nsdp | ||
| 050 | 0 | 0 | |a QA76.9.L63 |b A3 |
| 245 | 0 | 0 | |a ACM transactions on computational logic |h [electronic resource]. |
| 246 | 3 | |a Association for Computing Machinery transactions on computational logic | |
| 246 | 3 | 0 | |a Computational logic |
| 246 | 3 | 0 | |a Transactions on computational logic |
| 246 | 1 | 3 | |a TOCL |
| 260 | |a New York, NY : |b Association for Computing Machinery, |c ©2000- | ||
| 310 | |a Quarterly | ||
| 362 | 0 | |a Vol. 1, no. 1 (July 2000)- | |
| 500 | |a Title from cover. | ||
| 515 | |a Vol. 1 complete with 2 issues. | ||
| 650 | 0 | |a Computer logic |v Periodicals. | |
| 650 | 0 | |a Logic, Symbolic and mathematical |v Periodicals. | |
| 650 | 0 | |a Computer science |x Mathematics |v Periodicals. | |
| 710 | 2 | |a Association for Computing Machinery. | |
| 773 | 0 | |t ACM Digital Library |d Association for Computing Machinery (ACM) | |
| 773 | 0 | |t Applied Science & Technology Source |d EBSCO | |
| 776 | 0 | 8 | |i Online version: |t ACM transactions on computational logic (Online) |x 1557-945X |w (DLC) 2005214027 |w (OCoLC)45535868 |
| 776 | 1 | |t ACM transactions on computational logic |x 1557-945X |w (OCoLC)43702797 |w (DLC)00211749 | |
| 856 | 4 | 0 | |y Access Content Online(from ACM Digital Library) |u https://ezproxy.msu.edu/login?url=https://dl.acm.org/loi/tocl |z ACM Digital Library: 2000 to present |
| 856 | 4 | 0 | |y Access Content Online(from Applied Science & Technology Source) |u https://ezproxy.msu.edu/login?url=https://search.ebscohost.com/direct.asp?db=aci&jid=88D&scope=site |z Applied Science & Technology Source: 2006 to present |