Search Results - Urban, Josef
Josef Urban
}}Josef Urban (17 June 1899 – 2 September 1968) was a Czechoslovak wrestler. He was born in Středočeský kraj in June 1899. He won an Olympic silver medal in Greco-Roman wrestling in 1932. He also competed at the 1928 Summer Olympics. Urban died on 2 September 1968, at the age of 69. Provided by Wikipedia
- Showing 1 - 3 results of 3
-
1
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings /
Published 2023Other Authors: “…Urban, Josef…”
Call Number: Loading…Link to Metadata
Located: Loading…
Electronic eBook -
2
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Published 2023Other Authors: “…Urban, Josef…”
Call Number: Loading…DOAB: download the publication
Located: Loading…
DOAB: description of the publication
Electronic Book Chapter -
3
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Published 2023Other Authors: “…Urban, Josef…”
Call Number: Loading…OAPEN Library: download the publication
Located: Loading…
OAPEN Library: description of the publication
Electronic Book Chapter
Search Tools:
Related Subjects
Artificial intelligence
Software Engineering
Algorithms & data structures
Computer programming / software development
Mathematical theory of computation
Systems analysis & design
Artificial Intelligence
Computer Science Logic and Foundations of Programming
Computer System Implementation
Computer science
Computer systems
Control Structures and Microprogramming
Formal Languages and Automata Theory
Machine theory
Microprogramming
Software engineering