1
יצא לאור 2007
תוכן הענינים: ... Assistance Systems -- Mizar Course in Logic and Set Theory -- Using Formal Concept Analysis in Mathematical...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני