[计] multiprogramming logic proof
duō dào chéng xù shè jì luó ji zhèng míng ㄉㄨㄛ ㄉㄠˋ ㄔㄥˊ ㄒㄩˋ ㄕㄜˋ ㄐㄧˋ ㄌㄨㄛˊ ㄐㄧ˙ ㄓㄥˋ ㄇㄧㄥˊ
多道程序设计逻辑证明