Formal Methods אלגוריתמיקה ביואינפורמטיקה למידת מכונה סוכנים אוטונומיים ומערכות מרובות סוכנים עיבוד שפה טבעית קונסורציום בר-אילן לרובוטיקה
