首页> 外文OA文献 >Decision procedures for elementary sublanguages of set theory. V. Multilevel syllogistic extended by the general union operator

【2h】

Decision procedures for elementary sublanguages of set theory. V. Multilevel syllogistic extended by the general union operator

机译：集合论基本子语言的决策程序。五，由通用联合运算符扩展的多级三段论

代理获取

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

页面导航

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

著录项

作者
Cantone D.; Ferro A.; Schwartz J.T.;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions, I: The Two-Level Case [J] . CALOGERO G. ZARBA, DOMENICO CANTONE, JACOB T. SCHWARTZ Journal of Automated Reasoning . 2004,第3a4期

机译：涉及单调，加法和乘法功能的集合论子语言的决策程序，I：两级情况
2. On Extending Power-Geometric Operators to Interval-Valued Hesitant Fuzzy Sets and Their Applications to Group Decision Making [J] . Xiong Sheng-Hua, Chen Zhen-Song, Li Yan-Lai, International Journal of Information Technology & Decision Making . 2016,第5期

机译：关于将幂几何算子扩展到区间值犹豫模糊集及其在群决策中的应用
3. RELATION BETWEEN THE RANGE OF AN ELEMENTARY 3-PARTICLE 2-BODY OPERATOR AND THE CONVEX STRUCTURE OF THE SET OF FERMION 3-REPRESENTABLE 2-DENSITY OPERATORS [J] . Grudzinski H Reports on Mathematical Physics . 2009,第3期

机译：基本3粒子2体算子的范围与费密3可重2密度算子集的凸结构之间的关系
4. Decision procedures for stratified set-theoretic syllogistics [C] . Domenico Cantone, Vincenzo Cutello International symposium on Symbolic and algebraic computation . 1993

机译：分层集理论三段论的决策程序
5. Discovering the European Union's organizational culture: A metaphorical analysis of its organizational co-decision procedure. [D] . Karimalis, Grigorios N. 1996

机译：发现欧盟的组织文化：对其组织共同决策程序的隐喻分析。
6. Cricothyrotomy performed with the Melker™ set or the QuickTrach™ kit: procedure times, learning curves and operators’ preference [O] . C.E. BUONOPANE, V. PASTA, D. SOTTILE, 1993

机译：使用Melker™套件或QuickTrach™套件进行环切开切口术：手术时间，学习曲线和操作者的偏好
7. Decision procedures for elementary sublanguages of set theory: X. Multilevel syllogistic extended by the singleton and powerset operators [O] . D. Cantone 1991

机译：集决定的集合理论的决策程序：X. expleton和Powerset算子扩展的多级三段论
8. THE KOHN-HNLTHEN VARIATIONAL PROCEDURE FOR THE SCATTERING OPERATOR AND THE REACTANCE OPERATOR Part Ⅰ: Elementary Form of the Variational Principles [R] . Harry E. Moses 1956

机译：散射算子和反应算子的KOHN-HNLTHEN变分程序第一部分：变分原理的基本形式

Decision procedures for elementary sublanguages of set theory. V. Multilevel syllogistic extended by the general union operator

著录项

引文网络

相似文献

相关主题

期刊订阅