語系
Dubois, Catherine.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Intelligent computer mathematics = 16th International Conference, CICM 2023, Cambridge, UK, September 5-8, 2023 : proceedings /
by:
CICM (Conference) (2023 :); Dubois, Catherine.; SpringerLink (Online service); Kerber, Manfred.
(書目-電子資源)
Formal methods teaching = 5th International Workshop, FMTea 2023, Lubeck, Germany, March 6, 2023 : proceedings /
by:
Dubois, Catherine.; San Pietro, Pierluigi.; SpringerLink (Online service); Formal Methods Teaching Workshop and Tutorial (2023 :)
(書目-電子資源)
主題
Mathematical Logic and Foundations.
Natural Language Processing (NLP)
Software Engineering.
Logic in AI.
Computer and Information Systems Applications.
Control Structures and Microprogramming.
Formal methods (Computer science)
Computer Application in Social and Behavioral Sciences.
Computer science- Mathematics
aArtificial intelligence- Mathematics
Artificial Intelligence.
Formal Languages and Automata Theory.
Design and Analysis of Algorithms.
Computers and Education.