Filozofická Fakulta

Katedra logiky

Studentské hodnocení výuky

Aktuality

There are not any news
NadpisMonotone sequent calculus and resolution
Publication TypeJournal Article
AuthorsBílková, M.
Issue3
Stránky575-582
Volume42
Year2001
JournalComment. Math. Univ. Carolinae