0174443 - MU-W 970054 RIV IL eng J - Článek v odborném periodiku
Krajíček, Jan
Propositional proofs, proofs of membership in polynomial ideals, and their complexity.
Bulletin of the ASL. Roč. 3, č. 1 (1997), s. 77-78
[European meeting of the Association of Symbolic Logic, Logic Colloquium 95. Haifa, 09.08.1995-17.08.1995]
Grant CEP: GA AV ČR IAA1019602
Trvalý link: http://hdl.handle.net/11104/0071451