ACM Transactions on Computational Logic (TOCL)

Publisher:ACM
ISSN:1529-3785
E-ISSN:1557-945X
Categories:Information Technology - General and Others
Mathematical Sciences - Algorithms
Mathematical Sciences - Applied Mathematics
Mathematical Sciences - Logic
Mathematical Sciences - Mathematical Analysis & Logic
Available online:AvailabilityUsage Restrictions
ACM Digital Library CompleteAvailable from 2000/07/01E-Reserve CMS Course Packs Link Print More Info