Zkouška 28. 6. 2017 (Gregor)

karamel at 2017-06-30 16:03:54

Na ústní jsem měl korektnost rezoluce v predikátové logice.

Attachments: