Maria Paola Bonacina. Automated Deduction -- CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings. Springer.
क्लिपबोर्ड पर सफलतापूर्वक कॉपी किया गया
क्लिपबोर्ड पर कॉपी करना विफल
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्र
Maria Paola Bonacina. Automated Deduction -- CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings. Berlín, Alemania: Springer.
क्लिपबोर्ड पर सफलतापूर्वक कॉपी किया गया
क्लिपबोर्ड पर कॉपी करना विफल
एमएलए (9वां संस्करण) प्रशस्ति पत्र
Maria Paola Bonacina. Automated Deduction -- CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings. Springer.
क्लिपबोर्ड पर सफलतापूर्वक कॉपी किया गया
क्लिपबोर्ड पर कॉपी करना विफल
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.