Transakce ACM ve výpočetní logice - ACM Transactions on Computational Logic
| Disciplína | Výpočtová logika |
|---|---|
| Jazyk | Angličtina |
| Upraveno podle | Orna Kupferman |
| Podrobnosti o publikaci | |
| Dějiny | 2000 – dosud |
| Vydavatel | ACM (Spojené státy) |
| Frekvence | Čtvrtletní |
| Standardní zkratky | |
| ISO 4 | ACM Trans. Comput. Log. |
| Indexování | |
| ISSN | 1529-3785 (tisk) 1557-945X (web) |
| Odkazy | |
)Transakce ACM ve výpočetní logice (ACM TOCL) je vědecký časopis, jehož cílem je šířit nejnovější poznatky v oblasti logika v informatice. Zveřejňuje jej Sdružení pro výpočetní techniku, přední vědecká a vzdělávací společnost v oblasti počítačové vědy a výpočetní techniky ve Spojených státech.
Viz také
- ACM SIGLOG, ACM Zvláštní zájmová skupina na výpočetní logice