Tags
1 पेज
Formal-Proof
चार-रंग प्रमेय और कम्प्यूटेशनल गणित की क्रांति: 100 साल की पहेली और मशीन द्वारा प्रमाण का दर्शन
