Index of /afs/cs.cmu.edu/project/ai-repository/ai/areas/reasonng/atp/problems

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory - [   ] 0.doc 13-Jun-1995 21:26 577 [TXT] 0.html 13-Jun-1995 21:26 1.9K [DIR] atp/ 13-Jun-1995 21:26 - [DIR] tptp/ 13-Jun-1995 21:26 -