MODEL THEORY OF OPERATOR ALGEBRAS: WORKSHOP AND CONFERENCE CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Irvine, California September 20–24, 2017

首页> 外文期刊>The bulletin of symbolic logic >MODEL THEORY OF OPERATOR ALGEBRAS: WORKSHOP AND CONFERENCE CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Irvine, California September 20–24, 2017

【24h】

MODEL THEORY OF OPERATOR ALGEBRAS: WORKSHOP AND CONFERENCE CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Irvine, California September 20–24, 2017

机译：运营商模型理论代数：由象征性逻辑Irvine，加利福尼亚州的讲习班和会议共同赞助2017年9月20日至24日

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

著录项
相似文献
相关主题

著录项

来源
《The bulletin of symbolic logic》 |2018年第4期|共1页
作者

展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类数理逻辑（符号逻辑）;
关键词

相似文献

外文文献

1. MODEL THEORY OF OPERATOR ALGEBRAS: WORKSHOP AND CONFERENCE CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Irvine, California September 20–24, 2017 [J] . The bulletin of symbolic logic . 2018,第4期

机译：运营商模型理论代数：由象征性逻辑Irvine，加利福尼亚州的讲习班和会议共同赞助2017年9月20日至24日
2. 24TH WORKSHOP ON LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WoLLIC 2017) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC London, UK July 18–21, 2017 [J] . The bulletin of symbolic logic . 2018,第3期

机译：逻辑，语言，信息和计算的第24次研讨会（2017年Wollic 2017）由象征性逻辑伦敦，英国2017年7月18日至21日的协会共同赞助
3. 14TH INTERNATIONAL CONFERENCE ON COMPUTABILITY AND COMPLEXITY IN ANALYSIS CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Daejeon, Republic of Korea July 24–27, 2017 [J] . The bulletin of symbolic logic . 2018,第4期

机译：第14届分析中的可计算性和复杂性国际会议，由大韩民国象征性逻辑大田协会共同赞助2017年7月24日至27日
4. Modeling Probability Weighting Functions in Prospect Theory using a Class of Modifier Operators of Continuous-valued Logic [C] . József Dombi, Tamás Jónás IEEE International Conference on Recent Achievements in Mechatronics, Automation, Computer Sciences and Robotics;IEEE International Symposium on Computational Intelligence and Informatics . 2019

机译：使用一类连续值逻辑的修正算子在前景理论中建模概率加权函数
5. From the Society of Teachers of Family Medicine: Research Activities are Numerous at the STFM Annual Conference Scheduled for September 20–24 2003 in Atlanta [O] . 2003

机译：来自家庭医学教师协会的信息：定于2003年9月20日至24日在亚特兰大举行的STFM年度会议上进行了大量的研究活动
6. The 12th asilomar conference on mass spectrometry: “elemental mass spectrometry” September 20-24, 1996, the asilomar conference center, Pacific Grove, California [O] . 1996

机译：第12届质谱法非离子质谱会议：“元素质谱”，1996年9月20日至24日，加利福尼亚州太平洋丛林市非离子质谱会议中心
7. Proceedings of the Irvine Workshop on Alternatives for the Environment, Certification, and Control of the DOD Common High Order Language, Held at California University, Irvine on 20-22 June 1978 [R] . Standish, T. A. 1978

机译：1978年6月20日至22日在加利福尼亚大学欧文分校举行的欧文关于环境，认证和控制国防部共同高级语言替代研讨会的会议记录

MODEL THEORY OF OPERATOR ALGEBRAS: WORKSHOP AND CONFERENCE CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Irvine, California September 20–24, 2017

著录项

相似文献

相关主题

期刊订阅