ACM Transactions on Computational Logic
Material type:
Continuing resourcePublication details: Association for Computing Machinery (ACM)ISSN: - Print : 1529-3785
BOUND VOLUMES
| Home library | Call number | Materials specified | Vol info | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
| IMSc Library | 10 - 10(1 - 4); 2009 - 2009 | Available | 70789 | ||||
| IMSc Library | 11 - 11(1 - 4); 2010 - 2010 | Available | 70790 | ||||
| IMSc Library | 12 - 12(1 - 4); 2011 - 2011 | Available | 70793 | ||||
| IMSc Library | 13 - 13(1 - 4); 2012 - 2012 | Available | 70792 | ||||
| IMSc Library | 2 - 2; 2001 - 2001 | Available | 48037 | ||||
| IMSc Library | 3 - 3; 2002 - 2002 | Available | 51436 | ||||
| IMSc Library | 4 - 4; 2003 - 2003 | Available | 50781 | ||||
| IMSc Library | 5 - 5(1 - 4); 2004 - 2004 | Available | 56392 | ||||
| IMSc Library | 6 - 6(1 - 4); 2005 - 2005 | Available | 56393 | ||||
| IMSc Library | 7 - 7(1 - 4); 2006 - 2006 | Available | 59978 | ||||
| IMSc Library | 8 - 8(1 - 4); 2007 - 2007 | Available | 61128 | ||||
| IMSc Library | 9 - 9(1 - 4); 2008 - 2008 | Available | 70788 |
TOCLACM Transactions on Computational Logic (TOCL)
ACM Transactions on Computational Logic (TOCL) is devoted to research concerned with all uses of logic in computer science. Logic continues to play an important role in computer science and permeates many of its areas including: artificial intelligence, computational complexity, database systems and programming languages.
This is a serial
There are 1 subscription(s) associated with this title.
At library: IMSc Library
Subscription from: 01/01/2017 to: now (current)
The 5 latest issues for this subscription:
| Issue # | Publication date | Received date | Status | Note | |
|---|---|---|---|---|---|
| Vol. 23, No. 4 | 01/10/2022 | 02/03/2023 | Arrived | ||
| Vol. 20, No. 4 | 01/10/2019 | 04/09/2019 | Arrived | ||
| Vol. 20, No. 3 | 01/07/2019 | 04/09/2019 | Arrived | ||
| Vol. 20, No. 2 | 01/04/2019 | 04/09/2019 | Arrived | ||
| Vol. 20, No. 1 | 01/01/2019 | 04/09/2019 | Arrived |
There are no comments on this title.