HILBERT–BERNAYS SUMMER SCHOOL ON LOGIC AND COMPUTATION 2017 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC G?ttingen, Germany July 23–29, 2017

首页> 外文期刊>The bulletin of symbolic logic >HILBERT–BERNAYS SUMMER SCHOOL ON LOGIC AND COMPUTATION 2017 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC G?ttingen, Germany July 23–29, 2017

【24h】

HILBERT–BERNAYS SUMMER SCHOOL ON LOGIC AND COMPUTATION 2017 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC G?ttingen, Germany July 23–29, 2017

机译：希尔伯特 - 伯尼亚夏季学校逻辑和计算2017年由象征性逻辑G的协会共同赞助？Ttingen，德国2017年7月23日至29日

获取原文

获取原文并翻译 | 示例

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

开具论文收录证明 >>

页面导航

著录项
相似文献
相关主题

著录项

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

展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类数理逻辑（符号逻辑）;
关键词
入库时间 2022-08-20 07:04:25

相似文献

外文文献

1. HILBERT–BERNAYS SUMMER SCHOOL ON LOGIC AND COMPUTATION 2017 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC G?ttingen, Germany July 23–29, 2017 [J] . The bulletin of symbolic logic . 2018,第4期

机译：希尔伯特 - 伯尼亚夏季学校逻辑和计算2017年由象征性逻辑G的协会共同赞助？Ttingen，德国2017年7月23日至29日
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. ELEVENTH PANHELLENIC LOGIC SYMPOSIUM (PLS 11, 2017) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Delphi, Greece July 12–16, 2017 [J] . The bulletin of symbolic logic . 2018,第3期

机译：2017年7月12日至16日，2017年7月12日至16日的象征性逻辑德尔福协会共同赞助2017年7月12日至16日共同主办
4. Erratum: “A Hydrofoil Configuration for Wind Powered Energy Ship Applications” ASME 2017 Fluids Engineering Division Summer Meeting, Volume 1B, Symposia: Fluid Measurement and Instrumentation; Fluid Dynamics of Wind Energy; Renewable and Sustainable Energy Conversion; Energy and Process Engineering; Microfluidics and Nanofluidics; Development and Applications in Computational Fluid Dynamics; DNS/LES and Hybrid RANS/LES Methods, Waikoloa, Hawaii, USA, July 30–August 3, 2017, Conference Sponsors: Fluids Engineering Division, ISBN: 978-0-7918-5805-9, Copyright © 2017 by ASME. Paper No. FEDSM2017-69402, pp. V01BT07A003; 10 pages; doi:10.1115/FEDSM2017-69402 [O] . Jacob T. Woeste, Mark G. Turner, Nicolas Saxer 2017

机译：错误：“用于风力发电能源船舶应用的水翼配置”ASME 2017流体工程师夏季会议，第1B卷，专题讨论会：流体测量和仪表;风能的流体动力学;可再生和可持续的能源转换;能源和工艺工程;微流体和纳米流体;计算流体动力学的开发和应用; DNS / LES和Hybrid Rans / Les方法，Waikoloa，夏威夷，美国，2017年7月3日，会议赞助商：流体工程师，ISBN：978-0-7918-5805-9，版权所有©2017 by Asme。纸质号FEDSM2017-69402，PP。V01BT07A003; 10页; DOI：10.1115 / FEDSM2017-69402

HILBERT–BERNAYS SUMMER SCHOOL ON LOGIC AND COMPUTATION 2017 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC G?ttingen, Germany July 23–29, 2017

著录项

相似文献

相关主题

期刊订阅