בתשובה לאלון עמית, 26/04/04 6:46
(מה שאתה מחמיץ, אולי) 214676
ירדן ניר-בוכבינדר • בתשובה לאלון עמית יום ב', 26/4/2004, 8:54
מקבל (שכאתה אומר "מערכת הוכחה" בפסקה האחרונה אתה מתכוון למחשב + תוכנה, נכון? לא למערכת פורמלית מופשטת.)
(מה שאתה מחמיץ, אולי) 214681
אלון עמית • בתשובה לירדן ניר-בוכבינדר יום ב', 26/4/2004, 9:07
(כן, ודאי).
חזרה לעמוד הראשי המאמר המלא
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
האייל הקורא RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש והצהרת נגישות © כל הזכויות שמורות