Kohlhase, Andrea.
Overview
| Works: | 0 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Intelligent computer mathematics = 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024 : proceedings /
by:
Kohlhase, Andrea.; SpringerLink (Online service); Kovács, Laura.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Intelligent Computer Mathematics = 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings /
by:
SpringerLink (Online service); Brady, Edwin.; Sacerdoti Coen, Claudio.; Kohlhase, Andrea.; Kaliszyk, Cezary.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Artificial intelligence
Computer Application in Social and Behavioral Sciences.
Information Systems and Communication Service.
Artificial Intelligence.
Artificial intelligence.
Design and Analysis of Algorithms.
Formal Languages and Automata Theory.
Computer science
Computers and Education.
Computer and Information Systems Applications.
Theory of Computation.
Computers.