automaattõestamine 1(n)

matemaatiliste teoreemide tõestamine arvuti abil