Number of the records: 1
On methods for proving lower bounds in propositional logic
- 1.0174440 - MU-W 970047 RIV NL eng C - Conference Paper (international conference)
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]
R&D Projects: GA AV ČR IAA1019602
Permanent Link: http://hdl.handle.net/11104/0071448
Number of the records: 1