資料來源 : pyDict

時序推理系統

資料來源 : Free On-Line Dictionary of Computing

TRS
     
        {term rewriting system}