-
1تقرير
المؤلفون: 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
-
2تقرير
-
3كتاب إلكتروني
المؤلفون: Ayers, Edward W.Aff12, Eiras, FranciscoAff13, Hawasly, MajdAff13, Whiteside, IainAff13
المساهمون: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Woeginger, Gerhard, Editorial Board MemberAff6, Yung, Moti, Editorial Board MemberAff7, Lee, Ritchie, editorAff8, Jha, Susmit, editorAff9, Mavridou, Anastasia, editorAff10, Giannakopoulou, Dimitra, editorAff11
المصدر: NASA Formal Methods : 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings. 12229:63-84
-
4