خبرنامه آوا

سخنراني دكتر مجيد اكبري

با عنوان: برهان آوري خودكار شده Automated Reasoning

زمان:چهار شنبه  30/2/88 ساعت15/11-15/12

مكان :  اتاق شورا(301) دانشكده الهيات و فلسفه