pti-msc-2015-zv icon indicating copy to clipboard operation
pti-msc-2015-zv copied to clipboard

S05-1 A B helyettesítések

Open dobreffandras opened this issue 7 years ago • 0 comments

A B helyettesítések szemantikája. A B komponensek fajtái, tulajdonságai. Interaktív bizonyító rendszer. Bizonyítandó állítások.

dobreffandras avatar Jun 14 '17 17:06 dobreffandras