电脑体验，效果更佳

钟发荣图谱-自然科学领域：

相关人员

吴佳杰 朱根良 黄银强 金健舟

研究领域

补偿 服务组合 表达能力 形式化 Web服务 有序类等式规范 归纳证明 多类等式规范

所属机构

浙江金华 浙江师范大学计算机科学系 浙江师范大学数理与信息工程学院

标签云