My Account Log in

1 option

ACM transactions on computational logic.

ACM Digital Library Available from 07/01/2000 volume: 1 issue: 1. Available online

View online
Format:
Journal/Periodical
Contributor:
Association for Computing Machinery, issuing body, publisher.
Standardized Title:
ACM transactions on computational logic (Online)
Language:
English
Subjects (All):
Computer logic--Periodicals.
Computer logic.
Logic, Symbolic and mathematical--Periodicals.
Logic, Symbolic and mathematical.
Computer science--Mathematics--Periodicals.
Computer science.
Computer science--Mathematics.
Genre:
Periodicals.
Physical Description:
Quarterly
Vol. 1, no. 1 (July 2000)-
Other Title:
Association for Computing Machinery transactions on computational logic
Computational logic
Transactions on computational logic
TOCL
Place of Publication:
New York, NY : Association for Computing Machinery.
Notes:
Refereed/Peer-reviewed
Description based on web page information screen (viewed May 8, 2001).
Volume 24, number 4 ([October], 2023) (ACM Digital Library, viewed March 7, 2024).
ISSN:
1557-945X
OCLC:
45535868

The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.

Find

Home Release notes

My Account

Shelf Request an item Bookmarks Fines and fees Settings

Guides

Using the Find catalog Using Articles+ Using your account