Lima, Lucas.
Overview
| Works: | 0 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Formal Methods: Foundations and Applications = 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings /
by:
SpringerLink (Online service); Molnár, Vince.; Lima, Lucas.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Computer Communication Networks.
Computer networks .
Computer science.
Computers, Special purpose.
Logic in AI.
Logic programming.
Natural language processing (Computer science).
Natural Language Processing (NLP).
Software engineering.
Software Engineering.
Special Purpose and Application-Based Systems.
Theory of Computation.