安排, 处理… Read the rest
计 拟排序… Read the rest
议事日程… Read the rest
计 嵌套次序… Read the rest
计 活动边框… Read the rest
计 一阶模态逻辑… Read the rest
计 主次序… Read the rest
接受命令… Read the rest
计 一阶谓词演算… Read the rest
倒序地… Read the rest