תמונה

ד"ר יוני זוהר

סגל אקדמי

Building 216/ Room 3

תחומי מחקר

Satisfiability Modulo Theories , Automated Reasoning

פרסומים

קורסים

הסקה אוטומטית ושימושיה
סמינר בחוזים חכמים