Počet záznamů: 1
Complexity of computations and proofs
- 1.Pudlák, Pavel - Rödl, V.
Pseudorandom sets and explicit constructions of Ramsey graphs.
Complexity of computations and proofs. Napoli: Dipartimento di Matematica della Seconda Universita di Napoli, 2004 - (Krajíček, J.), s. 327-346. Quaderni di matematica, 13. ISBN 88-7999-413-1
http://hdl.handle.net/11104/0110538
Počet záznamů: 1