Index of /Seminars/ATP/Applications

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[TXT]ACE.html2024-10-04 17:41 3.4K 
[IMG]ArtQuaife.jpg2024-10-04 17:41 67K 
[IMG]BobVeroff.jpg2024-10-04 17:41 21K 
[IMG]GoedelGod.jpg2024-10-04 17:41 426K 
[IMG]Huntington.jpg2024-10-04 17:41 148K 
[IMG]Isabelle.gif2024-10-04 17:41 9.6K 
[TXT]Isabelle.html2024-11-25 15:33 1.1K 
[IMG]JohnSlaney.jpg2024-10-04 17:41 46K 
[TXT]MPTP.html2024-10-04 17:41 1.4K 
[IMG]MPTPCrossVerification.GIF2024-10-04 17:41 100K 
[TXT]MPTPCrossVerificationGIF.html2024-10-04 17:41 342  
[IMG]McCune.jpg2024-10-04 17:41 21K 
[IMG]MichaelKinyon.jpg2024-10-04 17:41 114K 
[IMG]Mizar.gif2024-10-04 17:41 2.6K 
[TXT]MizarSummary.html2024-10-04 17:41 1.0K 
[TXT]NASA.html2024-10-04 17:41 1.1K 
[IMG]NASACodeCertification.GIF2024-10-04 17:41 36K 
[TXT]NASACodeCertificationGIF.html2024-10-04 17:41 326  
[TXT]Naproche.html2024-10-04 17:41 1.2K 
[IMG]NaprocheWebInterface.GIF2024-10-04 17:41 178K 
[TXT]NaprocheWebInterfaceGIF.html2024-10-04 17:41 328  
[TXT]Ontological.html2024-10-04 17:41 1.4K 
[IMG]PetrVojtechovsky.jpg2024-10-04 17:41 457K 
[TXT]QuaifeBook.html2024-10-04 17:41 2.5K 
[IMG]QuaifeBook.jpg2024-10-04 17:41 60K 
[IMG]QuasiGroup.png2024-10-04 17:41 185K 
[IMG]Robbins.jpg2024-10-04 17:41 11K 
[TXT]RobbinsProblem.html2024-10-04 17:41 2.1K 
[IMG]SUMOCyc.GIF2024-10-04 17:41 26K 
[TXT]SUMOCyc.html2024-10-04 17:41 955  
[TXT]SlaneyQuasigroups.html2024-10-04 17:41 1.9K 
[TXT]Summary.html2024-11-25 13:50 5.9K 
[IMG]Talk.jpg2024-10-04 17:41 30K 
[IMG]Tarski.jpg2024-10-04 17:41 35K 
[IMG]Verisoft.gif2024-10-04 17:41 3.2K 
[TXT]Verisoft.html2024-10-04 17:41 1.0K 
[TXT]VeroffAIM.html2024-10-04 17:41 1.9K 
[IMG]WarAndPeace.GIF2024-10-04 17:41 68K 
[IMG]Winkler.png2024-10-04 17:41 90K 
[IMG]WosBook.jpg2024-10-04 17:41 37K 
Apache/2.4.58 (Ubuntu) Server at tptp.org Port 443