Dizini: 
/auersoft.eu/uni/prooftheoretic
/auersoft.eu/uni/prooftheoretic/auersoft.eu/uni/prooftheoreticDosya adı |
Boyutu | Değişiklik | |
|---|---|---|---|
 | ana dosya dizini | | 13:4608.14.2024 |
 | proofth-paper-pspdfdvi.tgz | 276.3 KiB | 17:2003.29.2002 |
| proofth-paper-source.tgz | 18.3 KiB | 17:2003.29.2002 |
 | proofth-sentences.txt | 985 baytı | 22:1503.26.2002 |
 | proofth-workshop.dvi | 7.1 KiB | 21:3702.11.2002 |
 | proofth-workshop.tex | 6.5 KiB | 13:4204.26.2009 |
 | pspdf-proofth-workshop.zip | 46.6 KiB | 21:3802.11.2002 |
| standard.tex | 1415 baytı | 13:4204.26.2009 |
 | the-memory-measure.pdf | 262.1 KiB | 17:1203.29.2002 |
| 8 dosyası | 619 KiB | 
|