首页> 外文OA文献 >Decision procedures for elementary sublanguages of set theory: X. Multilevel syllogistic extended by the singleton and powerset operators

【2h】

Decision procedures for elementary sublanguages of set theory: X. Multilevel syllogistic extended by the singleton and powerset operators

机译：集决定的集合理论的决策程序：X. expleton和Powerset算子扩展的多级三段论

代理获取

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

页面导航

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

著录项

作者
D. Cantone;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Formative processes with applications to the decision problem in set theory: Ⅱ. Powerset and singleton operators, finiteness predicate [J] . Goran Trajkovski Computing reviews . 2015,第8期

机译：形成过程及其在集合论决策问题中的应用：Ⅱ。 Powerset和单例运算符，有限谓词
2. Formative processes with applications to the decision problem in set theory: Ⅱ. Powerset and singleton operators, finiteness predicate [J] . Domenico Cantone, Pietro Ursino Information and computation . 2014,第octa期

机译：形成过程及其在集合论决策问题中的应用：Ⅱ。 Powerset和单例运算符，有限谓词
3. 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：两级情况
4. Decision procedures for stratified set-theoretic syllogistics [C] . Domenico Cantone, Vincenzo Cutello International symposium on Symbolic and algebraic computation . 1993

机译：分层集理论三段论的决策程序
5. Decision Procedures for Finite Sets with Cardinality and Local Theory Extensions. [D] . Bansal, Kshitij. 2016

机译：具有基数和局部理论扩展的有限集的决策程序。
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. VI. Multi-level syllogistic extended by the powerset operator [O] . D. Cantone, J. T. Schwartz, A. Ferro 1985

机译：集合理论基本内涵的决定程序。 VI。 PowerSet运算符扩展的多级三段论
8. Certain and possible rules for decision making using rough set theory extended to fuzzy sets [R] . Dekorvin, Andre, Shipley, Margaret F. 1993

机译：使用粗糙集理论进行决策的某些和可能的规则扩展到模糊集

Decision procedures for elementary sublanguages of set theory: X. Multilevel syllogistic extended by the singleton and powerset operators

著录项

引文网络

相似文献

相关主题

期刊订阅