Urban, Josef.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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)
(Language materials, printed)
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)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
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.