Transakcje ACM w logice obliczeniowej
| Dyscyplina | Logika obliczeniowa |
|---|---|
| Język | język angielski |
| Edytowany przez | Anuj Dawar |
| Szczegóły publikacji | |
| Historia | 2000 – obecnie |
| Wydawca |
ACM (Stany Zjednoczone) |
| Częstotliwość | Kwartalny |
| 0,625 (2020) | |
| Standardowe skróty | |
| ISO 4 | ACM Trans. Oblicz. Dziennik. |
| Indeksowanie | |
| ISSN |
1529-3785 (druk) 1557-945X (internet) |
| Spinki do mankietów | |
ACM Transactions on Computational Logic ( ACM TOCL ) to czasopismo naukowe, którego celem jest rozpowszechnianie najnowszych odkryć w dziedzinie logiki w informatyce . Jest wydawany przez Association for Computing Machinery , czołową organizację naukową i edukacyjną zajmującą się informatyką i technologią obliczeniową w Stanach Zjednoczonych.
Redaktorem naczelnym jest Anuj Dawar ( University of Cambridge ). Według Journal Citation Reports , czasopismo miało współczynnik wpływu w 2020 r . na poziomie 0,625.
Zobacz też
- ACM SIGLOG , grupa specjalnego zainteresowania ACM ds. logiki obliczeniowej