التحقق الآلي, الذكاء الاصطناعي, الرياضيات, علوم الحاسوب

روبرت س. بوير (Robert S. Boyer)