Dubois, Catherine.
Overview
| Works: | 2 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Formal methods teaching5th International Workshop, FMTea 2023, Lubeck, Germany, March 6, 2023 : proceedings /
by:
(1998 :); Dubois, Catherine.; San Pietro, Pierluigi.; SpringerLink (Online service)
(Electronic resources)
Tests and proofs12th International Conference, TAP 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018 : proceedings /
by:
(1998 :); Dubois, Catherine.; SpringerLink (Online service); Wolff, Burkhart.
(Electronic resources)
Intelligent computer mathematics16th International Conference, CICM 2023, Cambridge, UK, September 5-8, 2023 : proceedings /
by:
(1998 :); Dubois, Catherine.; Kerber, Manfred.; SpringerLink (Online service)
(Electronic resources)
Tests and proofsthird international conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009 ; proceedings /
by:
(1998 :); Dubois, Catherine.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Natural Language Processing (NLP)
aArtificial intelligence
Logics and Meanings of Programs.
Logic in AI.
Computer and Information Systems Applications.
Computer software
Control Structures and Microprogramming.
Software engineering|vCongresses.
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Computer Application in Social and Behavioral Sciences.
The Computing Profession.
Computer science
Artificial Intelligence.
Formal Languages and Automata Theory.
Computer Science.
System Performance and Evaluation.
Computer Communication Networks.
Computers and Society.
Systems and Data Security.
Design and Analysis of Algorithms.
Computers and Education.