خبرنامه انجمن ریاضی ایران

خبرنامه انجمن ریاضی ایران

اثبات به کمک ماشین

نوع مقاله : ترجمه مقاله

نویسندگان