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...>2016-09-26 11:36 1.8K 
[TXT]ExampleNonSATAxiomsT..>2016-09-20 17:17 1.2K 
[TXT]ExampleSATAxiomsCSA...>2015-07-27 11:49 1.8K 
[TXT]ExampleSATAxiomsTHM...>2015-07-27 11:50 1.8K 
[IMG]LogicFOL.gif 2018-03-02 11:22 30K 
[TXT]LogicFOL.html 2018-07-10 07:02 2.6K 
[TXT]LogicFOLAnswer.txt 2018-06-08 07:24 1.0K 
[IMG]LogicPRP.gif 2018-03-02 11:09 69K 
[TXT]LogicPRP.html 2018-06-04 21:18 2.4K 
[IMG]LogicTFF.gif 2018-03-02 11:28 29K 
[TXT]LogicTFF.html 2018-06-08 08:07 3.0K 
[TXT]LogicTFFAnswer.txt 2018-06-08 08:06 1.1K 
[IMG]LogicTHF.gif 2018-06-03 17:31 12K 
[TXT]LogicTHF.html 2018-06-05 00:01 4.0K 
[TXT]LogicTHFAnswer.txt 2018-06-03 17:06 1.4K