Symposium on Logic in Computer Science
The ACM–IEEE Symposium on Logic in Computer Science (LICS) is an annual academic conference on the theory and practice of computer science in relation to mathematical logic. Extended versions of selected papers of each year's conference appear in renowned international journals such as Logical Methods in Computer Science and ACM Transactions on Computational Logic.
primaryTopic
Symposium on Logic in Computer Science
The ACM–IEEE Symposium on Logic in Computer Science (LICS) is an annual academic conference on the theory and practice of computer science in relation to mathematical logic. Extended versions of selected papers of each year's conference appear in renowned international journals such as Logical Methods in Computer Science and ACM Transactions on Computational Logic.
has abstract
Lógica em ciência da computaçã ...... para aplicações computacionais
@pt
The ACM–IEEE Symposium on Logi ...... ctions on Computational Logic.
@en
Link from a Wikipage to an external page
Wikipage page ID
Wikipage revision ID
697,939,954
subject
hypernym
type
comment
Lógica em ciência da computaçã ...... para aplicações computacionais
@pt
The ACM–IEEE Symposium on Logi ...... ctions on Computational Logic.
@en
label
Lógica em ciência da computação
@pt
Symposium on Logic in Computer Science
@en