Logical foundations of object-oriented and frame-based languages 论文

1995Journal of the ACM引用 1455
DOIPDF
Logic, programming, and type systemsLogic, Reasoning, and KnowledgeFormal Methods in Verification
Logic, Reasoning, and KnowledgeLogic, programming, and type systemsFormal Methods in Verification
相关技术:Formal Methods in Verification
关系图谱

Logical foundations of object-oriented and frame-based languages · 相关文章

暂无数据