Dieter Hutter, W. S. Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday. Springer.
क्लिपबोर्ड पर सफलतापूर्वक कॉपी किया गया
क्लिपबोर्ड पर कॉपी करना विफल
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्र
Dieter Hutter, Werner Stephan. Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday. Berlín, Alemania: Springer.
क्लिपबोर्ड पर सफलतापूर्वक कॉपी किया गया
क्लिपबोर्ड पर कॉपी करना विफल
एमएलए (9वां संस्करण) प्रशस्ति पत्र
Dieter Hutter, Werner Stephan. Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday. Springer.
क्लिपबोर्ड पर सफलतापूर्वक कॉपी किया गया
क्लिपबोर्ड पर कॉपी करना विफल
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.