Urban, Josef.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Automated reasoning with analytic tableaux and related methods = 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023 : proceedings /
by:
Ramanayake, Revantha.; Workshop on the Preservation of Stability under Discretization ((2001 :); Urban, Josef.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Mathematical Software – ICMS 2018 = 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings /
by:
Kauers, Manuel.; Davenport, James H.; Labahn, George.; Urban, Josef.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Software Engineering.
Computer science—Mathematics.
Systems and Data Security.
Computer System Implementation.
Information storage and retrieval.
Artificial Intelligence.
Artificial intelligence.
Control Structures and Microprogramming.
Formal Languages and Automata Theory.
Automatic theorem proving
Information Storage and Retrieval.
Discrete Mathematics in Computer Science.
Computer programming.
Programming Techniques.
Computer security.
Programming languages (Electronic computers).
Programming Languages, Compilers, Interpreters.
Computer Science Logic and Foundations of Programming.