Dubois, Catherine.
概要
作品: | 0 作品在 1 項出版品 1 種語言 |
---|
書目資訊
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.
(書目-語言資料,印刷品)
, [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 :)
(書目-語言資料,印刷品)
主題
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.