Počet záznamů: 1
On methods for proving lower bounds in propositional logic
- 1.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]
http://hdl.handle.net/11104/0071448
Počet záznamů: 1