2014 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC University of Colorado, Boulder Boulder, CO, USA May 19-22, 2014 Abstracts

首页> 外文期刊>The bulletin of symbolic logic >2014 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC University of Colorado, Boulder Boulder, CO, USA May 19-22, 2014 Abstracts

【24h】

2014 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC University of Colorado, Boulder Boulder, CO, USA May 19-22, 2014 Abstracts

机译：2014年符号逻辑学会北美年度会议科罗拉多大学，博尔德博尔德，美国科罗拉多州，2014年5月19日至22日，摘要

获取原文

获取原文并翻译 | 示例

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

开具论文收录证明 >>

文献代查 >>

页面导航

著录项
相似文献
相关主题

著录项

来源
《The bulletin of symbolic logic》 |2015年第2期|共33页
作者

展开▼
作者单位

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

相似文献

外文文献
中文文献

1. 2014 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC University of Colorado, Boulder Boulder, CO, USA May 19-22, 2014 Abstracts [J] . The bulletin of symbolic logic . 2015,第2期

机译：2014年符号逻辑学会北美年度会议科罗拉多大学，博尔德博尔德，美国科罗拉多州，2014年5月19日至22日，摘要
2. 2017 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Boise State University Boise, ID, USA March 20-23, 2017 [J] . The bulletin of symbolic logic . 2018,第1期

机译：2017年北美象征逻辑博伊西州大学博伊西，ID，美国2017年3月20日至23日的北美年度会议
3. 2016 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC University of Connecticut Storrs, CT, USA May 23–26, 2016 [J] . The bulletin of symbolic logic . 2017,第3期

机译：2016年北美康涅狄格州康涅狄格州康涅狄格大学康涅狄格州斯托尔斯，美国5月23日至26日北美年会
4. RADIOISOTOPE POWER SYSTEM CAPABILITIES AT THE IDAHO NATIONAL LABORATORY (INL): PRESENTED AT INMM 55TH ANNUAL MEETING JULY 20-24, 2014 ATLANTA, GEORGIA USA [C] . Kelly Lively, Stephen Johnson, Eric Clarke Annual meeting of the Institute of Nuclear Materials Management . 2014

机译：爱达荷国家实验室（INL）的放射性同位素电源系统功能：于2014年7月20日至24日举行的第55届国际金属加工学会年会上提出
5. Application of Data Processing to Structural Control of Ore Deposits of the North End of the Colorado Mineral Belt, Boulder, Jefferson, Gilpin, and Clear Creek Counties, Colorado [D] . Ayler, Maynard F. 1963

机译：数据处理在科罗拉多矿带北端博尔德，杰斐逊，吉尔平和克莱尔克里克县矿床结构控制中的应用
6. Proceedings of the Annual Meetings with papers from The American Society of Plant Physiologists and The Physiological Section Botanical Society of America University of Colorado Boulder Colorado: Wednesday August 26 [O] . 1964

机译：年度会议论文集来自美国植物生理学家学会和美国植物学会生理学分会的论文科罗拉多大学科罗拉多州博尔德市：8月26日星期三
7. Meeting Report: Solar Energetic Particle Measurements Intercalibration Workshop, 11 April 2014, Boulder, Colorado [O] . Juan V. Rodriguez, Terrance G. Onsager, Daniel Heynderickx, 2014

机译：会议报告：太阳能精力粒子测量闭工车间，2014年4月11日，博尔德，科罗拉多州
8. Proceedings of the Conference on Interdisciplinary Analysis of Water Resource Systems Held at Colorado University,Boulder,Colorado,on June 19-22, 1973, [R] . flack, j. ernest 1976

机译：1973年6月19日至22日在科罗拉多州博尔德市科罗拉多大学举行的水资源系统跨学科分析会议论文集，

2014 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC University of Colorado, Boulder Boulder, CO, USA May 19-22, 2014 Abstracts

著录项

相似文献

相关主题

期刊订阅