Počet záznamů: 1
On methods for proving lower bounds in propositional logic
- 1.KRAJÍČEK, J. On methods for proving lower bounds in propositional logic. In: DALLA CHIARA, M. L., ed. Logic and Scientific Methods. Proceedings of the Tenth International Congress of Logic, Methodology and Philosophy of Science. Vol. 1. Dordrecht: Kluwer Academic Publ., 1997, s. 69-83.
Počet záznamů: 1