Index of /~tptp/Seminars

	Name	Last modified	Size	Description
	Parent Directory		-
	AGInT/	15-Jun-2009 07:19	-
	ART03/	26-Apr-2004 18:00	-
	ART04/	05-Apr-2005 15:43	-
	ART05/	16-Apr-2008 10:00	-
	ATP/	02-Sep-2009 16:31	-
	ATPProgress/	15-Jun-2009 07:19	-
	ATPProofs/	16-Apr-2008 10:00	-
	CASC/	07-Aug-2009 11:18	-
	CSSCPA/	05-Apr-2005 15:43	-
	Divvy/	16-May-2009 08:01	-
	EvalCASC/	26-Feb-2009 08:24	-
	Evaluate/	26-Apr-2004 17:59	-
	EventCalculus/	05-Apr-2005 15:54	-
	GDV/	27-Apr-2005 08:12	-
	GLiDeS-M/	15-Jun-2009 07:19	-
	GLiDeS/	15-Jun-2009 07:19	-
	HRtoTPTP/	05-Apr-2005 15:45	-
	Homogeneity/	05-Apr-2005 15:45	-
	IDV/	15-Jun-2009 07:19	-
	IWTPTP/	04-Aug-2008 07:42	-
	MANSEX/	07-May-2009 06:06	-
	MathsInTPTP/	15-Jun-2009 07:19	-
	MizarVerification/	14-Oct-2007 14:10	-
	ModalLogic/	15-Jun-2009 07:19	-
	Prophet/	15-Jun-2009 06:56	-
	RedAx/	15-Jun-2009 07:19	-
	Relevance/	26-Apr-2004 18:00	-
	RichTheories/	26-Apr-2004 18:00	-
	SPASS-XDB/	02-Sep-2009 16:24	-
	SRASS/	12-Apr-2007 08:53	-
	SSCPA/	15-Jun-2009 07:19	-
	SZSOntologies/	22-Nov-2008 14:29	-
	SigmaKEETPTP/	25-Jul-2008 04:15	-
	StandardsAndTools/	05-Apr-2005 15:46	-
	SystemOnTPTP/	16-Jun-2009 05:07	-
	THF/	16-Jun-2009 05:03	-
	TPTP/	18-Nov-2009 12:34	-
	TPTP2T/	15-Jun-2009 07:19	-
	TPTP2TSTP/	26-Apr-2004 18:00	-
	TPTPLanguage/	08-May-2006 11:02	-
	TPTPetc/	10-Dec-2008 04:33	-
	TSTP/	15-Jun-2009 07:19	-
	TSTPStandards/	26-Apr-2004 18:00	-
	Trilogy/	15-Jun-2009 07:19	-
	Wos-AoAR/	15-Jun-2009 07:19	-
	YuLM/	05-Apr-2005 16:17	-
	cartoon_penguin_logic.gif	10-Mar-2009 05:30	0