A Decision Procedure for the WSkS Logic

Autor práce

Tomáš Fiedor

Vedúci práce

Ing. Ondřej Lengál

O projekte

Ročník

2014

Zdieľať túto prácu