ACM transactions on computational logic.
Saved in:
| Corporate Author: | |
|---|---|
| Format: | Journal |
| Language: | English |
| Published: |
New York, NY :
Association for Computing Machinery,
c2000-
|
| Subjects: | |
| Online Access: | Online version: |
| Published: | Vol. 1, no. 1 (July 2000)- |
|---|---|
| Physical Description: | v. Also available via the World Wide Web. |
| Publication Frequency: | Quarterly. |
| ISSN: | 1529-3785 |