Mathematics

Young-Bum Kim, Karl Stratos, Ruhi Sarikaya, Minwoo Jeong

Association for Computational Linguistics (ACL) | August 2015

项目 项目

Young-Bum Kim, Karl Stratos, Ruhi Sarikaya

Association for Computational Linguistics (ACL) | August 2015

项目 项目

Young-Bum Kim, Ruhi Sarikaya

Association for Computational Linguistics (ACL) | August 2015

项目 项目

Neil Dalchau, Niall Murphy, Rasmus Petersen, Boyan Yordanov

International Conference on DNA Computing and Molecular Programming | August 2015, 第 9211 卷

项目 项目

Sergey Bereg, Alexander E. Holroyd, Lev Nachmanson, Sergey Pupyrev

August 2015

Brendan Lucier, Joel Oren, Yaron Singer

Knowledge Discovery and Data Mining 2015 | August 2015

ISBN: 978-1-4503-3664-2

Leonardo de Moura, Soonho Kong, Jeremy Avigad, Floris van Doorn, Jakob von Raumer

Conference on Automated Deduction | July 2015

Github 项目

Hu Fu, Nicole Immorlica, Brendan Lucier, Philipp Strack

ACM Conference on Electronic Commerce 2015 | July 2015

Andreas Blass, Yuri Gurevich

Springer series on Outstanding Contributions to Logic | July 2015

Annie Raymond, Mohit Singh, Rekha R. Thomas

July 2015