Uniform Title ACM transactions on computational logic (Online) Title ACM transactions on computational logic

Published New York, NY : Association for Computing Machinery Vol. 1, no. 1 (July 2000)-

Online access available from: ACM Digital Library    01 Jan. 2001- View Resource Record   Applied science and technology source    01 Apr. 2006- View Resource Record

Copies

Description Online resource Notes Description based on web page information screen (viewed May 8, 2001) Volume 24, number 4 ([October], 2023) (ACM Digital Library, viewed March 7, 2024) Subject Computer logic -- Periodicals Logic, Symbolic and mathematical -- Periodicals Computer science -- Mathematics -- Periodicals Form Electronic journal Author Association for Computing Machinery LC no. 2005214027 ISSN 1557-945X 1529-3785

ABBREV TI ACM trans. comput. logic (Online) OTHER TI ACM transactions on computational logic (Online) Other Titles Association for Computing Machinery transactions on computational logic Computational logic Transactions on computational logic TOCL

  Permalink