Index of /Seminars

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[DIR]AChatWithBard/2024-10-04 17:27 -  
[DIR]AGInT/2024-10-04 17:41 -  
[DIR]AGMV/2024-10-04 17:41 -  
[DIR]ATP/2024-10-04 17:41 -  
[DIR]ATPProgress/2024-10-04 17:41 -  
[DIR]CASC/2024-10-04 17:27 -  
[DIR]CSSCPA/2024-10-04 17:41 -  
[DIR]CombiningProofs/2024-10-04 17:27 -  
[DIR]DKRC/2024-10-04 17:41 -  
[DIR]DLF/2024-10-04 17:41 -  
[DIR]DifferentGoodProofs/2024-10-04 17:41 -  
[DIR]Divvy/2024-10-04 17:41 -  
[DIR]EvalCASC/2024-10-04 17:41 -  
[DIR]Evaluate/2024-10-04 17:41 -  
[DIR]EventCalculus/2024-10-04 17:41 -  
[DIR]FDE/2024-10-04 17:41 -  
[DIR]GDV/2024-10-04 17:41 -  
[DIR]GLiDeS-M/2024-10-04 17:41 -  
[DIR]GLiDeS/2024-10-04 17:41 -  
[DIR]GMV/2024-10-04 17:41 -  
[DIR]HRtoTPTP/2024-10-04 17:41 -  
[DIR]Homogeneity/2024-10-04 17:41 -  
[DIR]HopingForTheTruth/2024-10-04 17:27 -  
[DIR]IDV/2024-10-04 17:41 -  
[DIR]IIV/2024-10-04 17:41 -  
[DIR]IWTPTP/2024-10-04 17:41 -  
[DIR]JGXYZ/2024-10-04 17:27 -  
[DIR]MANSEX/2024-10-04 17:41 -  
[DIR]MathsInTPTP/2024-10-04 17:27 -  
[DIR]MizarVerification/2024-10-04 17:41 -  
[DIR]ModalLogic/2024-10-04 17:41 -  
[DIR]MoralMachine/2024-10-04 17:41 -  
[DIR]NonClassical/2024-10-04 17:41 -  
[DIR]ProjectorProblem/2024-10-04 17:27 -  
[DIR]Prophet/2024-10-04 17:27 -  
[DIR]PyResFOF/2024-10-04 17:27 -  
[DIR]QEDAndTPTP/2024-10-04 17:27 -  
[DIR]QMLTPinTHF/2024-10-04 17:41 -  
[DIR]QMSDiscussion/2024-10-04 17:41 -  
[DIR]QSTRLib/2024-10-04 17:41 -  
[DIR]RM3/2024-10-04 17:27 -  
[DIR]RedAx/2024-10-04 17:41 -  
[DIR]Relevance/2024-10-04 17:41 -  
[DIR]RichTheories/2024-10-04 17:41 -  
[DIR]SAMHT/2024-10-04 17:41 -  
[DIR]SPASS-XDB/2024-10-04 17:41 -  
[DIR]SPCs/2024-10-04 17:41 -  
[DIR]SRASS/2024-10-04 17:41 -  
[DIR]SSCPA/2024-10-04 17:27 -  
[DIR]SZSOntologies/2024-10-04 17:41 -  
[DIR]SigmaKEETPTP/2024-10-04 17:27 -  
[DIR]StandardsAndTools/2024-10-04 17:27 -  
[DIR]StarExecARC/2024-10-04 17:41 -  
[DIR]SystemOnTPTP/2024-10-04 17:27 -  
[DIR]TDTP/2024-10-04 17:41 -  
[DIR]TFF/2024-10-04 17:27 -  
[DIR]TH1/2024-10-04 17:27 -  
[DIR]THF/2024-10-04 17:27 -  
[DIR]TMTP/2024-10-04 17:27 -  
[DIR]TPI/2024-10-04 17:41 -  
[DIR]TPTP/2024-10-04 17:41 -  
[DIR]TPTP2T/2024-10-04 17:41 -  
[DIR]TPTP2TSTP/2024-10-04 17:41 -  
[DIR]TPTPInterpretations/2024-10-04 17:41 -  
[DIR]TPTPLanguage/2024-10-04 17:41 -  
[DIR]TPTPLogicLanguages/2024-10-04 17:41 -  
[DIR]TPTPProofsAndModels/2024-10-04 17:41 -  
[DIR]TPTPTeaParty/2024-10-04 17:27 -  
[DIR]TPTPWorld/2024-10-04 17:27 -  
[DIR]TPTPWorldExpansion/2024-10-04 17:41 -  
[DIR]TPTPWorldFuture/2024-10-04 17:41 -  
[DIR]TPTPWorldSteppingStones/2024-10-04 17:41 -  
[DIR]TSTP/2024-10-04 17:27 -  
[DIR]TSTPStandards/2024-10-04 17:41 -  
[DIR]TXF/2024-10-04 17:41 -  
[DIR]TarskianInterpretations/2024-10-04 17:41 -  
[DIR]TranslationPaths/2024-10-04 17:41 -  
[DIR]Trilogy/2024-10-04 17:27 -  
[DIR]VampireNOT/2024-10-04 17:41 -  
[DIR]Wos-AoAR/2024-10-04 17:41 -  
[DIR]WosMemoriam/2024-10-04 17:41 -  
[DIR]YuLM/2024-10-04 17:41 -  
[TXT]WhiteBoard.html2024-10-04 17:41 75  
[TXT]TPTPWorldTutorial.html2024-10-04 17:41 241  

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