مؤتمر
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 |
Full Text Finder كن أول من يترك تعليقا!