Index of /Seminars/AGInT/YisVersion

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[DIR]figures/2024-10-04 17:41 -  
[DIR]results/2024-10-04 17:41 -  
[TXT]ArchitectureGIF.html2024-10-04 17:41 336  
[TXT]StaticRankerJPG.html2024-10-04 17:41 338  
[TXT]RunTimeFilterJPG.html2024-10-04 17:41 343  
[TXT]YFrontGIF.html2024-10-04 17:41 356  
[TXT]RelatedWork.html2024-10-04 17:41 381  
[TXT]Conclusion.html2024-10-04 17:41 501  
[TXT]PostProcessor.html2024-10-04 17:41 537  
[TXT]PreProcessor.html2024-10-04 17:41 540  
[TXT]StaticRanker.html2024-10-04 17:41 557  
[TXT]Utility.html2024-10-04 17:41 569  
[TXT]ResultsSET.html2024-10-04 17:41 693  
[TXT]Novelty.html2024-10-04 17:41 720  
[TXT]Manipulation.html2024-10-04 17:41 731  
[TXT]Abstract.html2024-10-04 17:41 809  
[TXT]Architecture.html2024-10-04 17:41 842  
[TXT]IsItAChallenge.html2024-10-04 17:41 843  
[TXT]Deduction.html2024-10-04 17:41 844  
[TXT]Obviousness.html2024-10-04 17:41 846  
[TXT]Deduction2.html2024-10-04 17:41 856  
[TXT]Induction.html2024-10-04 17:41 860  
[TXT]Usefulness.html2024-10-04 17:41 882  
[TXT]Construction.html2024-10-04 17:41 946  
[TXT]Use.html2024-10-04 17:41 954  
[TXT]Intensity.html2024-10-04 17:41 959  
[TXT]Surprisingness.html2024-10-04 17:41 1.0K 
[TXT]Complexity.html2024-10-04 17:41 1.0K 
[TXT]Theorems.html2024-10-04 17:41 1.1K 
[TXT]AGInT.html2024-10-04 17:41 1.1K 
[TXT]RunTimeFilter.html2024-10-04 17:41 1.2K 
[TXT]Applicability.html2024-10-04 17:41 1.4K 
[TXT]ResultsPUZ.html2024-10-04 17:41 1.4K 
[TXT]Contents.html2024-10-04 17:41 1.4K 
[TXT]GeneratingTheorems.html2024-10-04 17:41 1.6K 
[TXT]Summary.html2024-10-04 17:41 1.6K 
[IMG]StPeter.GIF2024-10-04 17:41 2.3K 
[IMG]YFront.GIF2024-10-04 17:41 4.2K 
[IMG]Telescope.GIF2024-10-04 17:41 4.9K 
[IMG]PaperClip.GIF2024-10-04 17:41 10K 
[IMG]Induction.JPG2024-10-04 17:41 10K 
[IMG]Grand.gif2024-10-04 17:41 13K 
[IMG]DeJuice.jpg2024-10-04 17:41 13K 
[IMG]Architecture.GIF2024-10-04 17:41 17K 
[IMG]ExploreSpace.GIF2024-10-04 17:41 21K 
[IMG]ATD.GIF2024-10-04 17:41 23K 
[IMG]ARTProjects.JPG2024-10-04 17:41 26K 
[IMG]Generator.JPG2024-10-04 17:41 27K 
[IMG]StaticRanker.JPG2024-10-04 17:41 29K 
[IMG]ProofTree.GIF2024-10-04 17:41 41K 
[IMG]Spagetti.GIF2024-10-04 17:41 41K 
[IMG]PPP.GIF2024-10-04 17:41 43K 
[IMG]RunTimeFilter.JPG2024-10-04 17:41 44K 
[IMG]Manipulate.GIF2024-10-04 17:41 44K 
[IMG]JackInABox.JPG2024-10-04 17:41 50K 
[IMG]ThreeBears.gif2024-10-04 17:41 53K 
[IMG]Manipulate.JPG2024-10-04 17:41 55K 
[IMG]Liberty.jpg2024-10-04 17:41 70K 
[IMG]Smile.GIF2024-10-04 17:41 120K 
[IMG]Hard.GIF2024-10-04 17:41 155K 

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