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    -