פרס הרברנד (Q449390)
קפיצה לניווט
קפיצה לחיפוש
award for research contributions to automated deduction אנגלית
| שפה | תווית | תיאור | ידוע גם בשם |
|---|---|---|---|
| עברית | פרס הרברנד |
לא הוגדר תיאור |
|
| אנגלית | Herbrand Award |
award for research contributions to automated deduction |
קביעוֹת
1992
0 הפניות למקורות
Herbrand Award (אנגלית)
0 הפניות למקורות
מזהים
קישורי אתר
ויקיפדיה(6 רשומות)
- dewiki Herbrand Award
- enwiki Herbrand Award
- eswiki Premio Herbrand
- frwiki Prix Herbrand
- hewiki פרס הרברנד
- ptwiki Prêmio Herbrand