Index of /~tptp/Seminars/AGInT

	Name	Last modified	Size	Description
	Parent Directory		-
	AGInT.html	01-Nov-2005 13:09	1.1K
	AGInTArch.GIF	01-Nov-2005 13:09	26K
	AGInTArchGIF.html	01-Nov-2005 13:09	296
	AGInTRaterArch.gif	26-Jun-2008 13:39	0
	Abstract.html	01-Nov-2005 13:09	1.0K
	Aims.html	01-Nov-2005 13:09	784
	Architecture.html	01-Nov-2005 13:09	1.0K
	Conclusion.html	25-Apr-2008 07:37	1.1K
	Contents.html	01-Nov-2005 13:09	1.4K
	Help.JPG	01-Nov-2005 13:09	41K
	RaterArch.GIF	25-Apr-2008 07:52	21K
	RaterArchGIF.html	25-Apr-2008 07:54	302
	RaterSummary.html	25-Apr-2008 07:54	1.4K
	ResultsPUZ.html	18-Aug-2007 10:30	1.4K
	ResultsSET.html	18-Aug-2007 10:30	693
	RuntimeFilterArch.GIF	01-Nov-2005 13:09	19K
	SoS.GIF	01-Nov-2005 13:09	13K
	SoSGIF.html	01-Nov-2005 13:09	286
	Summary.html	29-Aug-2007 14:05	1.6K
	TSO.GIF	01-Nov-2005 13:09	10K
	YisVersion/	03-Aug-2009 12:23	-