Index of /Seminars/TPTPWorldTutorial

[ICO]NameLast modifiedSizeDescription

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