Institutional Repository
| 基于时序逻辑的超文本描述 | |
| Alternative Title | temporal logic based hypertext specification |
| 马华东; 赵琛 | |
| 1999 | |
| Source | 计算机辅助设计与图形学学报
 |
| ISSN | 1003-9767 |
| Volume | 11Issue:6Pages:547-550 |
| English Abstract | 将基于时序逻辑的多媒体脚本描述模型从线性顺序时空关系描述推广到非线性时空关系的超文本描述，提出了一种新的超文本模型．通过该模型可将超文本的结点、链和超文本结构的逐步求精过程在一个统一的框架内描述．使用该模型设计的一个超文本标注语言已经实现，并基于该语言开发了一个交互式超文本编著环境． |
| Indexed Type | wanfang,cnki,cscd |
| Keyword | 编著系统 时序逻辑 超文本 |
| Department | 基础软件国家工程研究中心 |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/4678 |
| Collection | 基础软件国家工程研究中心 |
| Recommended Citation GB/T 7714 | 马华东,赵琛. 基于时序逻辑的超文本描述[J]. 计算机辅助设计与图形学学报,1999,11(6):547-550. |
| APA | 马华东,&赵琛.(1999).基于时序逻辑的超文本描述.计算机辅助设计与图形学学报,11(6),547-550. |
| MLA | 马华东,et al."基于时序逻辑的超文本描述".计算机辅助设计与图形学学报 11.6(1999):547-550. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 11.pdf（180KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment