Acm Transactions On Computational Logic
oeuvre
revue scientifique
ACM Transactions on Computational Logic (abrégé en TOCL) est une revue scientifique trimestrielle à comité de lecture dans le domaine de la logique informatique (en) ; elle est publiée par l'Association for Computing Machinery depuis 2000.
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/ACM_Transactions_on_Computational_Logic
Lien Wikidata : https://www.wikidata.org/wiki/Q4650732