Index of /Seminars/TPTPWorldTutorial

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[IMG]ATPProcess.gif 2016-09-29 03:45 59K 
[TXT]ATPProcess.html 2016-09-29 03:46 3.7K 
[TXT]ATPProcessGIF.html 2015-07-23 12:20 309  
[TXT]ExampleChallengeTHM...>2019-09-11 15:49 1.8K 
[TXT]ExampleNonSATAxiomsT..>2016-09-20 17:17 1.2K 
[TXT]ExampleSATAxiomsCSA...>2019-04-04 13:33 1.8K 
[TXT]ExampleSATAxiomsTHM...>2019-04-04 13:33 1.8K 
[TXT]ExamplesIn4Logics.html 2019-09-11 10:44 1.1K 
[IMG]Logic.GIF 2018-03-02 10:30 27K 
[IMG]LogicFOF.gif 2018-03-02 11:22 30K 
[TXT]LogicFOF.html 2019-08-21 09:21 2.5K 
[TXT]LogicFOFAnswer.txt 2018-06-08 07:24 1.0K 
[IMG]LogicPRP.gif 2018-03-02 11:09 69K 
[TXT]LogicPRP.html 2019-08-21 09:21 2.2K 
[IMG]LogicTFF.gif 2018-03-02 11:28 29K 
[TXT]LogicTFF.html 2019-08-21 09:21 2.8K 
[TXT]LogicTFFAnswer.txt 2018-06-08 08:06 1.1K 
[IMG]LogicTHF.gif 2018-06-03 17:31 12K 
[TXT]LogicTHF.html 2019-08-21 09:22 3.8K 
[TXT]LogicTHFAnswer.txt 2018-06-03 17:06 1.4K