1. BSL volume 25 issue 2 Cover and Back matter

    http://dx.doi.org/10.1017/bsl.2019.32
  2. BSL volume 25 issue 2 Cover and Front matter

    http://dx.doi.org/10.1017/bsl.2019.31
  3. ASSOCIATION FOR SYMBOLIC LOGIC 2019 WINTER MEETING Baltimore Convention Center Baltimore, MD, USA January 18–19, 2019

    http://dx.doi.org/10.1017/bsl.2019.14
  4. MODEL THEORY AND MACHINE LEARNING

    http://dx.doi.org/10.1017/bsl.2018.71
  5. ASSOCIATION FOR SYMBOLIC LOGIC 2019 WINTER MEETING The Westin Denver Downtown Denver, Colorado, USA February 21–22, 2019

    http://dx.doi.org/10.1017/bsl.2019.19
  6. ETA-RULES IN MARTIN-LÖF TYPE THEORY

    http://dx.doi.org/10.1017/bsl.2019.21
  7. THIRTEENTH INTERNATIONAL CONFERENCE ON COMPUTABILITY, COMPLEXITY AND RANDOMNESS (CCR 2018) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Santiago, Chile December 17–21, 2018

    http://dx.doi.org/10.1017/bsl.2019.24
  8. CANTOR MEETS ROBINSON CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Campinas, Brazil December 12–15, 2018

    http://dx.doi.org/10.1017/bsl.2019.23
  9. HILBERT–BERNAYS SUMMER SCHOOL ON LOGIC AND COMPUTATION 2018 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Göttingen, Germany July 22–28, 2018

    http://dx.doi.org/10.1017/bsl.2019.25
  10. FROM PERMUTATION GROUPS TO MODEL THEORY CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Edinburgh, UK September 17–21, 2018

    http://dx.doi.org/10.1017/bsl.2019.26
Copyright © 2015 1079-8986的搜索结果由GYCC学术搜索提供 - 意见反馈 >>小额捐赠|打赏