首页> 外文OA文献 >Abstract Parametric Classes and Abstract Data Types defined by Classical and Constructive Logical Methods

【2h】

Abstract Parametric Classes and Abstract Data Types defined by Classical and Constructive Logical Methods

机译：用经典和构造逻辑方法定义的抽象参数类和抽象数据类型

代理获取

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

页面导航

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

著录项

作者
Miglioli Pierangelo; Moscato Ugo; Ornaghi Mario;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Abstract: Evaluating Methods for Moderation Analysis with Missing Data in the Predictors Abstracts [J] . Shireman Emilie Multivariate behavioral research . 2015,第1期

机译：摘要：预测变量摘要中缺少数据的适度分析的评估方法
2. The components of abstracts The logical structure of abstracts in the areas of materials science and technology and of library and information science [J] . Nina Jamar, Alenka Sauperl, David Bawden New library world . 2014,第1a2期

机译：摘要的组成材料科学和技术以及图书馆和信息科学领域的摘要的逻辑结构
3. Components of Abstracts: Logical Structure of Scholarly Abstracts in Pharmacology, Sociology, and Linguistics and Literature [J] . Alenka Sauperl, Janko Klasinc, Simona Luzar Journal of the American Society for Information Science and Technology . 2008,第9期

机译：摘要的组成：药理学，社会学，语言学和文学领域的学术摘要的逻辑结构
4. A logical data exchange model for adapting different methods abstracting plant architecture [C] . Qinqin Long, Winfried Kurth 2017 2nd International Conference on Knowledge Engineering and Applications . 2017

机译：适应不同方法抽象工厂体系结构的逻辑数据交换模型
5. Abstract data types and extended domain operations in a nested relational algebra. [D] . Zheng, Yi. 2003

机译：嵌套关系代数中的抽象数据类型和扩展域操作。
6. Data-Generating Mechanisms Versus Constructively-Defined Latent Variables in Multitrait-Multimethod Analysis: A Comment on Castro-Schilo Widaman and Grimm (2013) [O] . Christian Geiser, Tobias Koch, Michael Eid -1

机译：多特征多方法分析中的数据生成机制与构造性定义的潜在变量：对Castro-SchiloWidaman和Grimm的评论（2013年）
7. On Constructive Specifications of Abstract Data Types Using Temporal Logic [O] . Frank Leßke 1991

机译：用时态逻辑构造抽象数据类型的构造规范
8. Abstract Types Defined as Classes of Variables. [R] . Parnas, D. L., Shore, J. E., Weiss, D. M. 1976

机译：抽象类型定义为变量类。

Abstract Parametric Classes and Abstract Data Types defined by Classical and Constructive Logical Methods

著录项

引文网络

相似文献

相关主题

期刊订阅