Dubois, Catherine.
概要
| 作品: | 2 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal methods teaching5th International Workshop, FMTea 2023, Lubeck, Germany, March 6, 2023 : proceedings /
by:
(1998 :); Dubois, Catherine.; San Pietro, Pierluigi.; SpringerLink (Online service)
(書目-電子資源)
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.
(書目-電子資源)
Intelligent computer mathematics16th International Conference, CICM 2023, Cambridge, UK, September 5-8, 2023 : proceedings /
by:
(1998 :); Dubois, Catherine.; Kerber, Manfred.; SpringerLink (Online service)
(書目-電子資源)
Tests and proofsthird international conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009 ; proceedings /
by:
(1998 :); Dubois, Catherine.; SpringerLink (Online service)
(書目-電子資源)
主題
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.