Index of /Seminars

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[DIR]AChatWithBard/ 2023-05-30 13:27 -  
[DIR]AGInT/ 2023-11-20 07:49 -  
[DIR]AGMV/ 2023-11-22 03:51 -  
[DIR]ART03/ 2014-11-26 09:42 -  
[DIR]ART04/ 2014-11-26 09:42 -  
[DIR]ART05/ 2014-11-26 09:42 -  
[DIR]ATP/ 2024-05-09 17:05 -  
[DIR]ATPProgress/ 2024-05-16 15:52 -  
[DIR]CASC/ 2024-03-19 09:21 -  
[DIR]CSSCPA/ 2014-11-26 09:42 -  
[DIR]CombiningProofs/ 2014-11-26 09:42 -  
[DIR]DKRC/ 2014-11-26 09:43 -  
[DIR]DLF/ 2024-03-19 09:22 -  
[DIR]DifferentGoodProofs/ 2014-11-26 09:42 -  
[DIR]Divvy/ 2014-11-26 09:43 -  
[DIR]EvalCASC/ 2014-11-26 09:42 -  
[DIR]Evaluate/ 2014-11-26 09:42 -  
[DIR]EventCalculus/ 2014-11-26 09:42 -  
[DIR]FDE/ 2018-05-22 15:58 -  
[DIR]GDV/ 2014-11-26 09:43 -  
[DIR]GLiDeS-M/ 2019-08-30 11:48 -  
[DIR]GLiDeS/ 2019-08-30 11:48 -  
[DIR]GMV/ 2024-03-19 09:22 -  
[DIR]HRtoTPTP/ 2014-11-26 09:42 -  
[DIR]Homogeneity/ 2014-11-26 09:42 -  
[DIR]HopingForTheTruth/ 2016-05-16 22:31 -  
[DIR]IDV/ 2023-05-23 23:38 -  
[DIR]IIV/ 2023-05-29 14:22 -  
[DIR]IWTPTP/ 2014-11-26 09:42 -  
[DIR]JGXYZ/ 2024-03-19 09:22 -  
[DIR]MANSEX/ 2014-11-26 09:43 -  
[DIR]MathsInTPTP/ 2024-03-19 14:49 -  
[DIR]MizarVerification/ 2014-11-26 09:43 -  
[DIR]ModalLogic/ 2019-08-30 11:48 -  
[DIR]MoralMachine/ 2021-10-15 09:28 -  
[DIR]NonClassical/ 2023-05-25 13:15 -  
[DIR]ProjectorProblem/ 2019-08-30 11:48 -  
[DIR]Prophet/ 2019-08-30 11:48 -  
[DIR]PyResFOF/ 2021-07-09 08:09 -  
[DIR]QEDAndTPTP/ 2014-11-26 09:43 -  
[DIR]QMLTPinTHF/ 2022-08-06 07:02 -  
[DIR]QMSDiscussion/ 2014-11-26 09:42 -  
[DIR]QSTRLib/ 2014-11-26 09:42 -  
[DIR]RM3/ 2017-01-26 15:01 -  
[DIR]RedAx/ 2019-08-30 11:48 -  
[DIR]Relevance/ 2014-11-26 09:43 -  
[DIR]RichTheories/ 2014-11-26 09:43 -  
[DIR]SAMHT/ 2014-11-26 09:42 -  
[DIR]SPASS-XDB/ 2014-11-26 09:42 -  
[DIR]SRASS/ 2014-11-26 09:42 -  
[DIR]SSCPA/ 2023-05-25 19:08 -  
[DIR]SZSOntologies/ 2014-11-26 09:42 -  
[DIR]SigmaKEETPTP/ 2014-11-26 09:42 -  
[DIR]StandardsAndTools/ 2014-11-26 09:42 -  
[DIR]StarExecARC/ 2024-05-08 14:41 -  
[DIR]SystemOnTPTP/ 2019-08-30 11:48 -  
[DIR]TDTP/ 2022-07-30 14:38 -  
[DIR]TFF/ 2019-08-30 11:48 -  
[DIR]TH1/ 2016-04-28 10:29 -  
[DIR]THF/ 2014-11-26 09:42 -  
[DIR]TMTP/ 2015-09-09 14:27 -  
[DIR]TPI/ 2014-11-26 09:42 -  
[DIR]TPTP/ 2024-05-15 15:52 -  
[DIR]TPTP2T/ 2024-03-19 09:22 -  
[DIR]TPTP2TSTP/ 2014-11-26 09:42 -  
[DIR]TPTPInterpretations/ 2023-12-29 14:27 -  
[DIR]TPTPLanguage/ 2014-11-26 09:43 -  
[DIR]TPTPLogicLanguages/ 2022-08-06 03:15 -  
[DIR]TPTPProofsAndModels/ 2024-05-14 13:10 -  
[DIR]TPTPTeaParty/ 2023-09-29 09:05 -  
[DIR]TPTPWorld/ 2024-05-08 15:54 -  
[DIR]TPTPWorldExpansion/ 2021-07-14 10:52 -  
[DIR]TPTPWorldFuture/ 2021-07-14 10:54 -  
[TXT]TPTPWorldTutorial.html 2024-05-18 17:59 241  
[DIR]TSTP/ 2024-05-15 15:31 -  
[DIR]TSTPStandards/ 2014-11-26 09:42 -  
[DIR]TXF/ 2023-05-25 13:21 -  
[DIR]TarskianInterpretati..>2023-06-07 22:44 -  
[DIR]TranslationPaths/ 2019-08-30 11:48 -  
[DIR]Trilogy/ 2019-08-30 11:48 -  
[DIR]VampireNOT/ 2015-08-02 05:19 -  
[TXT]WhiteBoard.html 2016-09-29 04:27 75  
[DIR]Wos-AoAR/ 2019-08-30 11:48 -  
[DIR]WosMemoriam/ 2021-11-18 14:18 -  
[DIR]YuLM/ 2014-11-26 09:43 -