Teksaurus 2.0
Algusesse
(current)
Abi
EKRK
Hüperonüümid:
deduktsioon
1(n)
, dedutseerimine
1(n)
automaattõestamine
1(n)
matemaatiliste teoreemide tõestamine arvuti abil
Hüponüümid
0
Teised suhted
0/0