مؤتمر
Is it Easier to Prove Theorems that are Guaranteed to be True?
| العنوان: | Is it Easier to Prove Theorems that are Guaranteed to be True? |
|---|---|
| المؤلفون: | Pass, Rafael, Venkitasubramaniam, Muthuramakrishnan |
| المصدر: | 2020 IEEE 61st Annual Symposium on Foundations of Computer Science (FOCS) FOCS Foundations of Computer Science (FOCS), 2020 IEEE 61st Annual Symposium on. :1255-1267 Nov, 2020 |
| Relation: | 2020 IEEE 61st Annual Symposium on Foundations of Computer Science (FOCS) |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 9781728196213 |
|---|---|
| تدمد: | 25758454 |
| DOI: | 10.1109/FOCS46700.2020.00119 |