未找到相关数据
超文本形式化模型研究
被引：8
作者：
余盛可
机构：
[1] 不详
[2] 北京大学计算机科学技术研究所
[3] 不详
来源：
关键词：
超文本，文档，图，Petri网，逻辑，集合;
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
本文谰述了目前超文本系统中常用的形式化模型，它们分别基于图论、网论、逻辑和集论。
引用
收藏
页码：45 / 50
页数：6
相关论文