ACM transactions on computational logic
Finna-recension
ACM transactions on computational logic
Sparad:
| Genre | |
|---|---|
| Andra titlar |
Association for Computing Machinery transactions on computational logic Computational logic Transactions on computational logic TOCL |
| Språk |
engelska |
| Beskrivning |
Refereed/Peer-reviewed |
| Utgivare |
New York, NY :
Association for Computing Machinery
|
| Klassifikation | |
| DDK-klassifikation |
004 |
| Ämnen | |
| Annan form |
1529-3785 |
| Publicerad |
Vol. 1, no. 1 (July 2000)- |
| Utgivningsfrekvens |
Quarterly |
| Systemkrav |
Mode of access: World Wide Web |
| ISSN |
1557-945X |
| Hämta fulltext | |