Miller, Bruce.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Intelligent Computer Mathematics = 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings /
by:
SpringerLink (Online service); Miller, Bruce.; Benzmüller, Christoph.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Intelligent Computer Mathematics = 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings /
by:
Johansson, Moa.; Tompa, Frank.; Kohlhase, Michael.; SpringerLink (Online service); Miller, Bruce.; de Moura, Leonardo.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Mathematical logic.
Software Engineering.
Software Engineering/Programming and Operating Systems.
Computer logic.
Artificial intelligence.
Computer Applications.
Software engineering.
Simulation and Modeling.
Computing Milieux.
Theory of Computation.
Computers.
Programming languages (Electronic computers).
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer simulation.
Application software.
Information Systems and Communication Service.
Artificial Intelligence.