-
1تقرير
المؤلفون: Ågotnes, Thomas, van Ditmarsch, Hans, French, Tim
المصدر: The undecidability of quantified announcements. Studia Logica, 104(4) pages 597-640, 2016
مصطلحات موضوعية: Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/2405.15671
-
2تقرير
-
3مؤتمر
المؤلفون: Rosenberg, Manou, Reynolds, Mark, French, Tim, While, Lyndon
المصدر: 2022 IEEE Congress on Evolutionary Computation (CEC) Evolutionary Computation (CEC), 2022 IEEE Congress on. :1-10 Jul, 2022
Relation: 2022 IEEE Congress on Evolutionary Computation (CEC)
-
4كتاب إلكتروني
المؤلفون: Zhao, ZiyuAff11, Aff12, Liu, WeiAff11, Aff12, French, TimAff11, Aff12, Stewart, MichaelAff11, Aff12
المساهمون: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Liu, Tongliang, editorAff7, Webb, Geoff, editorAff8, Yue, Lin, editorAff9, Wang, Dadong, editorAff10
المصدر: AI 2023: Advances in Artificial Intelligence : 36th Australasian Joint Conference on Artificial Intelligence, AI 2023, Brisbane, QLD, Australia, November 28–December 1, 2023, Proceedings, Part II. 14472:120-132
-
5تقرير
-
6تقرير
المؤلفون: van Ditmarsch, Hans, French, Tim, Galimullin, Rustam
مصطلحات موضوعية: Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/2206.00903
-
7تقرير
-
8مؤتمر
المؤلفون: Rosenberg, Manou, Fletcher, James, Reynolds, Mark, French, Tim, While, Lyndon
المصدر: 2019 IEEE Congress on Evolutionary Computation (CEC) Evolutionary Computation (CEC), 2019 IEEE Congress on. :2498-2505 Jun, 2019
Relation: 2019 IEEE Congress on Evolutionary Computation (CEC)
-
9تقرير
المؤلفون: van Ditmarsch, Hans, French, Tim, Galimullin, Rustam
المصدر: EPTCS 335, 2021, pp. 129-138
مصطلحات موضوعية: Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/2106.11498
-
10كتاب إلكتروني
المؤلفون: French, TimAff10
المساهمون: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Hansen, Helle Hvid, editorAff7, Scedrov, Andre, editorAff8, de Queiroz, Ruy J.G.B., editorAff9
المصدر: Logic, Language, Information, and Computation : 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings. 13923:227-243