Tuple calculus: formal definiton and conversion from first-order calculus.评价结果

评估详情