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