Index of /Seminars/AGInT

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[DIR]YisVersion/2024-10-04 17:41 -  
[IMG]TSO.GIF2024-10-04 17:41 10K 
[TXT]Summary.html2024-10-04 17:41 1.6K 
[TXT]SoSGIF.html2024-10-04 17:41 286  
[IMG]SoS.GIF2024-10-04 17:41 13K 
[IMG]RuntimeFilterArch.GIF2024-10-04 17:41 19K 
[TXT]ResultsSET.html2024-10-04 17:41 693  
[TXT]ResultsPUZ.html2024-10-04 17:41 1.4K 
[TXT]RaterSummary.html2024-10-04 17:41 1.4K 
[TXT]RaterArchGIF.html2024-10-04 17:41 302  
[IMG]RaterArch.GIF2024-10-04 17:41 21K 
[IMG]Help.JPG2024-10-04 17:41 41K 
[TXT]Contents.html2024-10-04 17:41 1.4K 
[TXT]Conclusion.html2024-10-04 17:41 1.1K 
[TXT]Architecture.html2024-10-04 17:41 1.0K 
[TXT]Aims.html2024-10-04 17:41 784  
[TXT]Abstract.html2024-10-04 17:41 1.0K 
[IMG]AGInTRaterArch.gif2024-10-04 17:41 0  
[TXT]AGInTArchGIF.html2024-10-04 17:41 296  
[IMG]AGInTArch.GIF2024-10-04 17:41 26K 
[TXT]AGInT.html2024-10-04 17:41 1.1K 

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