资料来源 : pyDict

时序推理系统

资料来源 : Free On-Line Dictionary of Computing

TRS
     
        {term rewriting system}