Jakub Rydval
发表
F. Baader,
Jakub Rydval,
2022,
Journal of Automated Reasoning.
M. Bodirsky,
Jakub Rydval,
Johannes Greiner,
2020,
Log. Methods Comput. Sci..
F. Baader,
Jakub Rydval,
2020
.
M. Bodirsky,
Wied Pakusa,
Jakub Rydval,
2020,
LICS.
M. Bodirsky,
Jakub Rydval,
A. Schrottenloher,
2021,
Discrete Mathematics & Theoretical Computer Science.
M. Bodirsky,
Jakub Rydval,
2020,
Journal of the ACM.
Francesco Kriegel,
S. Ghilardi,
Anni-Yasmin Turhan,
1960,
Indian Journal of Nuclear Medicine : IJNM : The Official Journal of the Society of Nuclear Medicine, India.
Francesco Kriegel,
S. Ghilardi,
Anni-Yasmin Turhan,
1960,
Indian Journal of Nuclear Medicine : IJNM : The Official Journal of the Society of Nuclear Medicine, India.
Manuel Bodirsky,
Jakub Rydval,
Simon Knauer,
2021,
2108.00452.
Jakub Rydval,
2023
.
M. Bodirsky,
Jakub Rydval,
A. Schrottenloher,
2021,
Discrete Mathematics & Theoretical Computer Science.
Franz Baader,
Jakub Rydval,
F. Baader,
2021,
JELIA.
Jakub Rydval,
2021,
2108.00452.