Dubois, Catherine.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Tests and Proofs = 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings /
by:
Dubois, Catherine.; SpringerLink (Online service); Wolff, Burkhart.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Intelligent computer mathematics = 16th International Conference, CICM 2023, Cambridge, UK, September 5-8, 2023 : proceedings /
by:
Dubois, Catherine.; SpringerLink (Online service); Kerber, Manfred.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Subjects
Mathematical logic.
Software Engineering.
Computer Application in Social and Behavioral Sciences.
Systems and Data Security.
Computer logic.
Design and Analysis of Algorithms.
Formal Languages and Automata Theory.
Software engineering.
Computers and Education.
aArtificial intelligence
Computers.
The Computing Profession.
Programming languages (Electronic computers).
Computer security.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer science
Computer and Information Systems Applications.
Artificial Intelligence.