Languages
Dubois, Catherine.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Intelligent computer mathematics = 16th International Conference, CICM 2023, Cambridge, UK, September 5-8, 2023 : proceedings /
by:
CICM (Conference) (2023 :); Dubois, Catherine.; Kerber, Manfred.; SpringerLink (Online service)
(Electronic resources)
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 :)
(Electronic resources)
Subjects
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.