Stránka 1 z 1

Zkouška 28. 6. 2017 (Gregor)

Napsal: 30. 6. 2017 16:03
od karamel
Na ústní jsem měl korektnost rezoluce v predikátové logice.