基于时序逻辑的超文本描述
| Data(s) |
1999
|
|---|---|
| Resumo |
将基于时序逻辑的多媒体脚本描述模型从线性顺序时空关系描述推广到非线性时空关系的超文本描述，提出了一种新的超文本模型．通过该模型可将超文本的结点、链和超文本结构的逐步求精过程在一个统一的框架内描述．使用该模型设计的一个超文本标注语言已经实现，并基于该语言开发了一个交互式超文本编著环境． |
| Identificador | |
| Idioma(s) |
中文 |
| Fonte |
马华东; 赵琛.基于时序逻辑的超文本描述,计算机辅助设计与图形学学报,1999,11(6):547-550 |
| Palavras-Chave | #编著系统 #时序逻辑 #超文本 |
| Tipo |
期刊论文 |
