ACM transactions on computational logic
Saved in:
| Corporate Author: | |
|---|---|
| Format: | Software |
| Language: | English |
| Published: |
ACM.
|
| Subjects: | |
| Online Access: | http://portal.acm.org/browse_dl.cfm?linked=1&part=transaction&idx=J773&coll=GUIDE&dl=ACM&CFID=3781379&CFTOKEN=93027086 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| LEADER | 01006nas a2200253zn 4500 | ||
|---|---|---|---|
| 001 | 001064145 | ||
| 005 | 20180201122034.0 | ||
| 006 | m | ||
| 007 | c | ||
| 008 | 991104c 9999xxu s 0 eng | ||
| 022 | |a 15293785 | ||
| 130 | 0 | |a ACM transactions on computational logic | |
| 245 | 0 | |a ACM transactions on computational logic |h [electronic resource]. | |
| 260 | |b ACM. | ||
| 500 | |a Login to VPN Client for off campus access. | ||
| 538 | |a Access: Internet. | ||
| 650 | 0 | |a Computer logic |v Periodicals. | |
| 650 | 0 | |a Logic, Symbolic and mathematical |v Periodicals. | |
| 650 | 0 | |a Computer science |x Mathematics |v Periodicals. | |
| 710 | 0 | |a Association for Computing Machinery | |
| 856 | 4 | |u http://portal.acm.org/browse_dl.cfm?linked=1&part=transaction&idx=J773&coll=GUIDE&dl=ACM&CFID=3781379&CFTOKEN=93027086 |4 suppress | |
| 866 | |a Vol. 1- , 2000- . |z (Accessible via the Internet). | ||
| 952 | |0 0 |1 0 |4 0 |7 1 |9 665918 |a ONLINE |b ONLINE |c RA |d 2006-11-09 |l 0 |p B174661 |r 2018-02-01 |w 2018-02-01 |y ONLINE | ||
| 999 | |c 409046 |d 409046 | ||