مؤتمر
First-order logic with counting
العنوان: | First-order logic with counting |
---|---|
المؤلفون: | Kuske, Dietrich, Schweikardt, Nicole |
المصدر: | 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Logic in Computer Science (LICS), 2017 32nd Annual ACM/IEEE Symposium on. :1-12 Jun, 2017 |
Relation: | 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) |
قاعدة البيانات: | IEEE Xplore Digital Library |
ردمك: | 9781509030187 |
---|---|
DOI: | 10.1109/LICS.2017.8005133 |