Language:
English
繁體中文
Help
圖資館首頁
Login
Languages
English
(1)
Jump To :
Overview
|
Titles
|
Subjects
Barbosa, Haniel.
Overview
Works:
1 works in 1 publications in 1 languages
Titles
Formal methodsfoundations and applications : 26th Brazilian symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023 : proceedings /
by: (1998 :); Barbosa, Haniel.; SpringerLink (Online service); Zohar, Yoni.
(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
