المؤلفون: Azerbayev, Zhangir, Piotrowski, Bartosz, Schoelkopf, Hailey, Ayers, Edward W., Radev, Dragomir, Avigad, Jeremy

مصطلحات موضوعية: Computer Science - Computation and Language, Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2302.12433

المؤلفون: Han, Jesse Michael, Rute, Jason, Wu, Yuhuai, Ayers, Edward W., Polu, Stanislas

مصطلحات موضوعية: Computer Science - Artificial Intelligence, Computer Science - Machine Learning, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2102.06203

المؤلفون: Ayers, Edward W.^Aff12, Eiras, Francisco^Aff13, Hawasly, Majd^Aff13, Whiteside, Iain^Aff13

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Lee, Ritchie, editor^Aff8, Jha, Susmit, editor^Aff9, Mavridou, Anastasia, editor^Aff10, Giannakopoulou, Dimitra, editor^Aff11

المصدر: NASA Formal Methods : 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings. 12229:63-84

المؤلفون: Ayers, Edward W., Jamnik, Mateja, Gowers, W. T.

مصطلحات موضوعية: ITP, Software and its engineering → Software usability, User Interfaces

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d07fa44b9c81b78e7054fa4097eaf0c9