Credit points: 2
Advanced Proof-Systems
Advanced Proof-Systems
דלג לתוכןדלג לתפריט החלף לסגנון מקצועהחלף לסגנון מערכת Skip to contentSkip to menu Switch to course styleSwitch to system style Skip to contentSkip to menu Switch to course styleSwitch to system style Skip to contentSkip to menu Switch to course styleSwitch to system style
הטכניון - מכון טכנולוגי לישראל Technion - Israel Institute of Technology Технион - израильский технологический институт ألتخنيون - معهد تكنولوجي لإسرائيل
02360602 - נושאים מתקדמים במדעי המחשב 2 02360602 - Advanced Proof Systems 02360602 - Advanced Proof Systems 02360602 - Advanced Proof Systems
כניסה לקורס 02360602 Winter2026-2027
כפתור זה מפנה לדף הכניסה, ומאפשר כניסה ישירה לקורס זה
חורף 2026-2027Winter 2026-2027Зима 2026-2027شتاء 2026-2027
הטכניון - מכון טכנולוגי לישראל Technion - Israel Institute of Technology Технион - израильский технологический институт ألتخنيون - معهد تكنولوجي لإسرائيل
כפתור זה מפנה לדף הכניסה, ומאפשר כניסה ישירה לקורס זה