(Q1081061)

بيانات

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»