Index of /afs/cs/project/ai-repository/ai/areas/reasonng/atp/problems/tptp
Name
Last modified
Size
Description
Parent Directory
-
0.doc
1995-06-13 21:26
3.4K
0.html
1995-06-13 21:26
4.7K
doc/
1995-06-13 21:26
-
v111/
1995-06-13 21:26
-
v113/
1995-06-13 21:26
-
Apache/2.4.18 (Ubuntu) Server at www.cs.cmu.edu Port 80