首页> 外文OA文献 >Vulcan: A Modified Viewdata System with Improved Indexing and Formal Hierarchy Definition Language

【2h】

Vulcan: A Modified Viewdata System with Improved Indexing and Formal Hierarchy Definition Language

机译：Vulcan：具有改进的索引和正式层次定义语言的修改后视图系统

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
J. A. Mariani;
展开▼
作者单位

展开▼
年度 1984
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Formal definition of avionics system architecture as a hierarchical system [J] . Androsov V. A., Antonov I. K. Радиотехника . 2002,第60期

机译：航空电子系统架构的正式定义为分层系统
2. Formal definition of avionics system architecture as a hierarchical system [J] . Androsov V. A., Antonov I. K. Радиотехника . 2002,第60期

机译：AvioNics系统架构的正式定义作为分层系统
3. A Systematic Identification of Formal and Semi-Formal Languages and Techniques for Software-Intensive Systems-of-Systems Requirements Modeling [J] . Cristiane Aparecida Lana, Milena Guessi, Pablo Oliveira Antonino, IEEE systems journal . 2019,第3期

机译：软件密集型系统需求建模的形式化和半形式化语言和技术的系统识别
4. Linearization algorithms CLOS and LOOPS of the classes in programming languages: The formal definitions [C] . D. Buy, S. Kompan, J. Karam, IEEE International Scientific Conference on Informatics . 2015

机译：编程语言中的类的线性化算法CLOS和LOOPS：正式定义
5. Logic, formal languages, and formal language identification. Some logical properties of the languages in the Chomsky hierarchy, and an interrogative model of formal language identification. [D] . Pylkko, Pauli Olavi. 1988

机译：逻辑，形式语言和形式语言标识。乔姆斯基层次结构中语言的某些逻辑属性，以及形式语言标识的疑问模型。
6. Controlled Vocabularies Indexing and Medical Language Processing. Expert Indexing Systems: Research on Interactive Knowledge-Based Indexing: The MedIndEx Prototype [O] . Susanne M. Humphrey 1989

机译：受控词汇表索引编制和医学语言处理。专家索引系统：基于交互式知识的索引的研究：MedIndEx原型
7. Height Functions and Formal Languages(Semigroups, Formal Languages and Computer Systems) [O] . Ito Masami 1996

机译：高度函数和形式语言（半组，形式语言和计算机系统）
8. Towards a Language and Notation for the Specification of Reliable Real-TimeSystems, Part 4 Revised. Requirements and Design Specification Language. Formal Definition [R] . Wieczorek, M. J., Vytopil, J. 1990

机译：关于可靠实时系统规范的语言和符号，第4部分修订。要求和设计规范语言。正式定义

Vulcan: A Modified Viewdata System with Improved Indexing and Formal Hierarchy Definition Language

著录项

引文网络

相似文献

相关主题

期刊订阅