Počet záznamů: 1
Propositional proofs, proofs of membership in polynomial ideals, and their complexity
- 1.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
http://hdl.handle.net/11104/0071451
Počet záznamů: 1