Some items are only available on campus or will require authentication via EUID and Password at the point of use.

Advanced Search

ACM transactions on computational logic

Resource Type:
E-Journal
Publication:
New York, NY : Association for Computing Machinery
Full text available from ACM Digital Library: 01/01/2001 to present Full text available from ACM Digital Library: 07/01/2000 to 10/31/2000

AvailabilityUpdate URL to this section

No items found. Please contact the Willis Library Service Desk for assistance

More Details

Contributors:
Association for Computing Machinery
ACM Digital Library
Languages:
English
Language Notes:
Item content: English
Main Work:
ACM transactions on computational logic (Online)
Other Related Resources:
Print version, -2023: ACM transactions on computational logic (ISSN 1529-3785; LCCN 00211749; OCLC Number 43702797)
Alternate Titles:
Abbreviated title: ACM trans. comput. logic (Online)
ISSN key title: ACM transactions on computational logic (Online)
Other title: TOCL
Subjects:
Computer logic — Periodicals
Logic, Symbolic and mathematical — Periodicals
Computer science — Mathematics — Periodicals
System Details:
Mode of access: World Wide Web.
General Notes:
Access restricted to subscribing institutions.
Description based on web page information screen (viewed May 8, 2001).
Latest issue consulted: Volume 24, number 4 ([October], 2023) (ACM Digital Library, viewed March 7, 2024).
Call Numbers:
Periodical QA76.9.L63
ISSNs:
1557-945X
ISSN-L: 1529-3785
Library of Congress Control Numbers:
2005214027
Other Control Numbers:
ssj0012732 (source: WaSeSS)