語系
Queiroz, Ruy J. G. B. de.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Logic, language, information, and computation = 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023 : proceedings /
by:
Workshop on Logic, Language, Information and Computation (2023 :); Hansen, Helle Hvid.; Scedrov, Andre.; Queiroz, Ruy J. G. B. de.; SpringerLink (Online service)
(書目-電子資源)
Logic for concurrency and synchronisation
by:
Queiroz, Ruy J. G. B. de.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Logic, language, information, and computation = 28th International Workshop, WOLLIC 2022, Iasi, Romania, September 20-23, 2022 : proceedings /
by:
Workshop on Logic, Language, Information and Computation (2022 :); Ciabattoni, Agata.; Pimentel, Elaine.; Queiroz, Ruy J. G. B. de.; SpringerLink (Online service)
(書目-電子資源)
Logic, language, information, and computation = 27th international workshop, WoLLIC 2021, virtual event, October 5-8, 2021 : proceedings /
by:
Workshop on Logic, Language, Information and Computation (2021 :); Silva, Alexandra; Wassermann, Renata.; Queiroz, Ruy J. G. B. de.; SpringerLink (Online service)
(書目-電子資源)
Logic for concurrency and synchronisation
by:
Queiroz, Ruy J. G. B. de.; NetLibrary, Inc.
(書目-語言資料,印刷品)