Index of /Seminars/TPTP/TPTPFiles

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]PUZ031-1.p.html2024-10-04 17:41 4.9K 
[TXT]SEV461^1.p.html2024-10-04 17:41 3.3K 
[TXT]GRP194+1.p.html2024-10-04 17:41 3.0K 
[TXT]GEG021=1.p.html2024-10-04 17:41 2.9K 
[TXT]GRP007+0.ax.html2024-10-04 17:41 1.8K 

Apache/2.4.58 (Ubuntu) Server at tptp.org Port 443