Proof Pearl: A Probabilistic Proof for the Girth-Chromatic Number Theorem.
| Autor: | Noschinski, Lars |
|---|---|
| Zdroj: | Interactive Theorem Proving (9783642323461); 2012, p393-404, 12p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|
| Autor: | Noschinski, Lars |
|---|---|
| Zdroj: | Interactive Theorem Proving (9783642323461); 2012, p393-404, 12p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|