| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| 1=Chen,_Yijia | 2012-03-22 10:27 | 12 | ||
| 2=On_p-optimal_proof_systems_and_logics_for... | 2012-03-22 10:27 | 48 | ||
| 3=2010 | 2012-03-22 10:27 | 5 | ||
| 4=76062 | 2012-03-22 10:27 | 32 | ||
| Pr997.gif | 2011-09-03 03:31 | 37K | ||
| Pr997.ico | 2011-09-03 03:31 | 26K | ||
| Pr997.info | 2011-09-03 03:31 | 9.7K | ||
| Pr997.pdf | 2011-09-03 03:31 | 213K | ||
| Pr997.txt | 2011-09-03 03:31 | 34K | ||
| hdl_2072_169260.dirinfo | 2021-12-23 02:31 | 353 | ||
| hdl_2072_169260.du | 2021-12-23 02:31 | 26 | ||
| hdl_2072_169260.dupdirs | 2021-12-23 02:31 | 85 | ||
| hdl_2072_169260.dupfiles | 2021-12-23 02:31 | 104 | ||
| hdl_2072_169260.errors | 2021-12-23 02:31 | 0 | ||
| hdl_2072_169260.md5 | 2021-12-23 02:31 | 44 | ||
| hdl_2072_169260.par2 | 2021-12-23 02:31 | 40K | ||
| hdl_2072_169260.sha1 | 2021-12-23 02:31 | 52 | ||
| hdl_2072_169260.sha256 | 2021-12-23 02:31 | 76 | ||
| hdl_2072_169260.stats | 2021-12-23 02:31 | 244 | ||
| hdl_2072_169260.vol000+101.par2 | 2021-12-23 02:31 | 295K | ||