Kovács, Laura.
概要
| 作品: | 0 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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 :)
(書目-語言資料,印刷品)
Reachability problems = 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Sokolova, Ana.; Kovács, Laura.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Integrated formal methods = 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Kosmatov, Nikolai.; SpringerLink (Online service); Kovács, Laura.
(書目-語言資料,印刷品)
主題
Software Engineering.
Computer Application in Social and Behavioral Sciences.
Formal methods (Computer science)
Formal Languages and Automata Theory.
Computers and Education.
Logic in AI.
Mathematics of Computing.
Computer science
Computer and Information Systems Applications.
Artificial intelligence
Artificial Intelligence.
Design and Analysis of Algorithms.
Decidability (Mathematical logic)
Computer systems
Computer Science Logic and Foundations of Programming.