Acm Transactions on Computational Logic
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: | Availability | Usage Restrictions |
---|---|---|
ACM Digital Library Complete | Available from 2000/07/01 volume: 1 issue: 1 | E-Reserve CMS Course Packs Link Print More Info |
Available in the library: | |
---|---|
UofS Library Catalogue |