ACM Transactions on Computational Logic
Encyclopedia
ACM Transactions on Computational Logic is a scientific journal that aims to disseminate the latest findings of note in the field of logic in computer science. It is published by the Association for Computing Machinery
, a premier scientific and educational society on computer science and computational technology in the USA.
Association for Computing Machinery
The Association for Computing Machinery is a learned society for computing. It was founded in 1947 as the world's first scientific and educational computing society. Its membership is more than 92,000 as of 2009...
, a premier scientific and educational society on computer science and computational technology in the USA.