Iti0210w72

Allikas: Lambda

7. Nädal

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

Loenguslaidid: PDF

Solver http://logictools.org

loengu salvestus