قائمة الجوائز والميداليات: الفرق بين النسختين

ط
روبوت إستبدال الوصلات الحمراء بمرادفها العربي Gödel Prize > جائزة جودل
(ترجمة بعض المصطلحات)
ط (روبوت إستبدال الوصلات الحمراء بمرادفها العربي Gödel Prize > جائزة جودل)
* [[Gerard Salton Award]]
* [[Gibbs Brothers Medal]] – [[هندسة معمارية بحرية]], [[Marine propulsion|marine engineering]] ([[الأكاديمية الوطنية للعلوم]])
* [[Gödelجائزة Prizeجودل]] – For outstanding papers in theoretical computer science
* [[Herbrand Award]] – For outstanding contributions to the field of [[Automated theorem proving|automated deduction]]
* [[جمعية مهندسي الكهرباء والإلكترونيات]] [[IEEE David Sarnoff Award|David Sarnoff Award]]
606٬816

تعديل