Skip to content
2025647-4
ACM transactions on computational logic : TOCL
Association for Computing Machinery
New York, NY : Association for Computing Machinery
1.2000 -
Online-Ressource
Gesehen am 15.06.20
Erscheint auch als Druck-Ausgabe: Association for Computing Machinery: ACM transactions on computational logic (ISSN: 1529-3785)
ISSN: 1529-3785
OCLC number: 863031787
https://dl.acm.org/loi/tocl [Publisher]
https://ezb.ur.de/?2025647-4 [EZB]
DDC subject groups: 004 Data processing & computer science
Other classifications: Systematik der TUB München (stub): DAT 540z
journal
English
United States, USA
available online
020839502
12-02-25