de Queiroz, Ruy.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
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.
(Language materials, printed)
, [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.
(Language materials, printed)
, [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.
(Language materials, printed)
, [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)
(Language materials, printed)
, [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.
(Language materials, printed)
, [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.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
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.