0174440 - MU-W 970047 RIV NL eng C - Konferenční příspěvek (zahraniční konf.)
Krajíček, Jan
On methods for proving lower bounds in propositional logic.
Logic and Scientific Methods. Vol. 1. Dordrecht: Kluwer Academic Publ., 1997 - (Dalla Chiara, M.), s. 69-83
[International Congress of Logic, Methodology and Philosophy of Science /10./. Florence (IT), 19.08.1995-25.08.1995]
Grant CEP: GA AV ČR IAA1019602
Trvalý link: http://hdl.handle.net/11104/0071448