0174443 - MU-W 970054 RIV IL eng J - Journal Article
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]
R&D Projects: GA AV ČR IAA1019602
Permanent Link: http://hdl.handle.net/11104/0071451