Language:
English
繁體中文
Help
圖資館首頁
Login
Languages
English
(1)
Jump To :
Overview
|
Titles
|
Subjects
Sekerinski, E.
Overview
Works:
1 works in 1 publications in 1 languages
Titles
Formal methods teaching6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024 : proceedings /
by: (1998 :); Ribeiro, Leila.; Sekerinski, E.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Foundations.
Natural Language Processing (NLP)
Software Engineering.
Logic in AI.
Control Structures and Microprogramming.
Formal methods (Computer science)
Computer Application in Social and Behavioral Sciences.
Processing
...
Change password
Login
