ACM Transactions on Computational Logic

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda

ACM Transactions on Computational Logic es una publicación científica cuyo objetivo es diseminar los últimos descubrimientos en investigaciones en el campo de la lógica computacional. Es publicado por la Association for Computing Machinery, una sociedad estadounidense científica y educacional pionera en las ciencias de la computación y la tecnología computacional.

Enlaces externos[editar]