Lima, Lucas.
概要
| 作品: | 0 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
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.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Software Engineering.
Logic programming.
Computer networks .
Special Purpose and Application-Based Systems.
Computer Communication Networks.
Software engineering.
Computers, Special purpose.
Computer science.
Natural Language Processing (NLP).
Natural language processing (Computer science).
Logic in AI.
Theory of Computation.