جائزة هيربراند (Q1081061)

من Marefa data

جائزة تُمنح لأصحاب المساهمات البحثية في الخصم الآلي

اللغة	التسمية	الوصف	أسماء أخرى
العربية	جائزة هيربراند	جائزة تُمنح لأصحاب المساهمات البحثية في الخصم الآلي
الإنجليزية	Herbrand Award	award for research contributions to automated deduction

بيانات

Wikidata item ^{الإنجليزية}

٠ مرجع

Freebase ID ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

instance of ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

inception ^{الإنجليزية}

1992^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

field of work ^{الإنجليزية}

computer-assisted proof ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

official website ^{الإنجليزية}

http://cadeinc.org/Herbrand-Award

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

named after ^{الإنجليزية}

Jacques Herbrand ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

conferred by ^{الإنجليزية}

Conference on Automated Deduction ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

native label ^{الإنجليزية}

Herbrand Award (الإنجليزية)

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

وصلات الموقع

Marefa(٠ : لا وصلات)

ويكيبيديا(٥ وصلات)

مجلوبة من «https://data.marefa.org/w/index.php?title=Q1081061&oldid=62302956»