Iti0210w72

Allikas: Lambda

7. Nädal

Tõestamine lausearvutuses. Resolutsioonimeetod. [AIMA] 7.5; [ARTINT] 5.3.2

Loenguslaidid: PDF

Solver http://logictools.org

Pärit leheküljelt "http://lambda.ee/w/index.php?title=Iti0210w72&oldid=19291"