Filozofická Fakulta

Katedra logiky

Aktuality

Obě zkoušky se budou konat společně 19.6. nebo/a 16.6. Poslední termín pro odevzdání závěrečné...
22. duben 2017

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