Language:
English
繁體中文
Help
圖資館首頁
Login
Languages
English
(1)
Jump To :
Overview
|
Titles
|
Subjects
Nogueira, Sidney C.
Overview
Works:
1 works in 1 publications in 1 languages
Titles
Formal methodsfoundations and applications : 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024 : proceedings /
by: (1998 :); Nogueira, Sidney C.; SpringerLink (Online service); Teodorov, Ciprian.
(Electronic resources)
Subjects
Software Engineering.
Natural Language Processing (NLP)
Theory of Computation.
Logic in AI.
Formal methods (Computer science)
Special Purpose and Application-Based Systems.
Computer Communication Networks.
Processing
...
Change password
Login
