WORKSHOP ON COMPUTABILITY THEORY AND ITS APPLICATIONS 2018 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Waterloo, Canada June 4–8, 2018

首页> 外文期刊>The bulletin of symbolic logic >WORKSHOP ON COMPUTABILITY THEORY AND ITS APPLICATIONS 2018 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Waterloo, Canada June 4–8, 2018

【24h】

WORKSHOP ON COMPUTABILITY THEORY AND ITS APPLICATIONS 2018 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Waterloo, Canada June 4–8, 2018

机译：可计算属性理论及其应用的研讨会，2018年由2018年6月4日至8日象征性逻辑Waterloo协会共同赞助

获取原文

获取原文并翻译 | 示例

获取外文期刊封面封底 >>

开具论文收录证明 >>

文献代查 >>

页面导航

著录项
相似文献
相关主题

著录项

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

展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. WORKSHOP ON COMPUTABILITY THEORY AND ITS APPLICATIONS 2018 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Waterloo, Canada June 4–8, 2018 [J] . The bulletin of symbolic logic . 2018,第4期

机译：可计算属性理论及其应用的研讨会，2018年由2018年6月4日至8日象征性逻辑Waterloo协会共同赞助
2. 25TH WORKSHOP ON LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WOLLIC 2018) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Bogotá, Colombia July 24–27, 2018 [J] . The bulletin of symbolic logic . 2018,第4期

机译：第25次研讨会逻辑，语言，信息和计算（Wollic 2018）由象征性逻辑Bogotá，哥伦比亚2018年7月24日至27日协会共同赞助
3. OUROBOROS: WORKSHOP ON FORMAL CRITERIA OF SELF-REFERENCE IN MATHEMATICS AND PHILOSOPHY CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Bonn, Germany February 16–18, 2018 [J] . The bulletin of symbolic logic . 2018,第4期

机译：Ouroboros：由德国象征性逻辑波恩协会的数学和哲学中的自我参考的正式标准研讨会，德国2018年2月16日至18日
4. IEEE INFOCOM 2018 workshops: IEEE INFOCOM 2018 — IEEE conference on computer communications workshops (INFOCOM WKSHPS) — Committees [C] . IEEE Conference on Computer Communications Workshops . 2018

机译：IEEE INFOCOM 2018研讨会：IEEE INFOCOM 2018 — IEEE计算机通信研讨会会议（INFOCOM WKSHPS）—委员会
5. Glacier Change Assessment of the Columbia Icefield in the Canadian Rocky Mountains, Canada (1985 – 2018) [D] . Dwamena, Intsiful Adjoa. 2020

机译：加拿大加拿大岩石山区哥伦比亚冰野地的冰川改变评估（1985 - 2018）
6. Canadian Urological Association – Association des urologues du Canada: 73rd Annual Meeting – Halifax NS – June 23–26 2018 [O] . 2018

机译：加拿大泌尿科协会-加拿大泌尿科协会：第73届年会-新罕布什尔州哈利法克斯-2018年6月23日至26日
7. New Frontiers in Tree Biology: A symposium co-sponsored by Canadian Science Publishing and Canadian Botanical Association (CBA), held on 4 June 2013, as part of the CBA 49th Annual Meeting and Conference “Thinking Plants”, Thompson Rivers University, Kamloops, British Columbia, 1–5 June 2013 / Nouvelles frontières en biologie de l’arbre : Un symposium parrainé conjointement par les Éditions Sciences Canada et l’Association Botanique du Canada (ABC), tenu le 4 juin 2013, dans le cadre de la 49ième Réunion et du Congrès Annuel de l’ABC « Pensons Plantes », Thompson Rivers University, Kamloops (Colombie-Britannique), 1–5 juin 2013 [O] . 2014

机译：树生物学中的新边界：由加拿大科学出版社和加拿大植物协会（CBA）共同赞助的研讨会，于2013年6月4日，作为CBA第49届年会和会议“思维工厂”，汤普森河大学，Kamloops，不列颠哥伦比亚省，2013年6月1日至5日/树生物学的新界：由版本加拿大的版本和加拿大（ABC）联合赞助的研讨会，于2013年6月4日，作为第49届的一部分。CBA年度团聚和国会“养老植物”，汤普森河大学，英国哥伦比亚坎卢普斯，2013年6月1日至5日

WORKSHOP ON COMPUTABILITY THEORY AND ITS APPLICATIONS 2018 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Waterloo, Canada June 4–8, 2018

著录项

相似文献

相关主题

期刊订阅