de Queiroz, Ruy.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Logic, Language, Information, and Computation = 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings /
by:
Leivant, Daniel.; SpringerLink (Online service); de Oliveira, Anjolina G.; de Paiva, Valeria.; Moss, Lawrence S.; de Queiroz, Ruy.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Logic, Language, Information, and Computation = 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings /
by:
SpringerLink (Online service); Hirvonen, Åsa.; Väänänen, Jouko.; de Queiroz, Ruy.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Logic, Language, Information, and Computation = 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings /
by:
de Queiroz, Ruy.; Wassermann, Renata.; SpringerLink (Online service); Silva, Alexandra.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Logic, Language, Information, and Computation = 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings /
by:
de Queiroz, Ruy.; Moss, Lawrence S.; Martinez, Maricarmen.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Logic, Language, Information, and Computation = 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings /
by:
Silva, Alexandra.; SpringerLink (Online service); de Queiroz, Ruy.; Wassermann, Renata.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Logic, Language, Information, and Computation = 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings /
by:
SpringerLink (Online service); Moortgat, Michael.; Iemhoff, Rosalie.; de Queiroz, Ruy.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Computer science—Mathematics.
Artificial intelligence.
Numerical analysis.
Symbolic and Algebraic Manipulation.
Software engineering.
Computer programming.
Programming Techniques.
Logic.
Algorithms.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Artificial Intelligence.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Algorithm Analysis and Problem Complexity.
Computer logic.
Programming languages (Electronic computers).
Numeric Computing.