Košík

Záznam byl přidán do košíku

Z košíku
RIV
DOI
SCOPUS
Bookmark
1.
0559695 - FLÚ 2023 RIV AU eng C - Konferenční příspěvek (zahraniční konf.)
Punčochář, Vít - Grimau, Berta
Natural Deduction for Assertibility and Deniability.
Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, Łódź, Poland, 14-18 March 2022. online: Open Publishing Association, 2022 - (Indrzejczak, A.; Zawidzki, M.), s. 41-54. Electronic Proceedings in Theoretical Computer Science (EPTCS), 358. E-ISSN 2075-2180.
[Non-Classical Logics. Theory and Applications (NCL) /10./. Łódź (PL), 14.03.2022-18.03.2022]
Grant CEP: GA ČR(CZ) GM21-23610M
Institucionální podpora: RVO:67985955
Klíčová slova: semantics * natural deduction * assertibility * deniability * possible worlds
Obor OECD: Philosophy, History and Philosophy of science and technology
https://doi.org/10.4204/EPTCS.358.4
Trvalý link: https://hdl.handle.net/11104/0334055
Z košíku
RIV
DOI
WOS
SCOPUS
Bookmark
2.
0508692 - ÚFP 2020 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Aliverdiev, A.A. - Batani, D. - Benocci, R. - Dezulian, R. - Amirova, A. - Ragimkhanov, G. B. - Krouský, Eduard - Ullschmied, Jiří - Skála, Jiří - Dudžák, Roman - Jakubowska, K.
About laser shocks dynamics for complex focal spots and structured targets.
Journal of Physics: Conference Series. Vol. 1046. Bristol: IOP Publishing Ltd., 2018, Roč. 946, č. 1 (2018), č. článku 012013. ISSN 1742-6588.
[32nd International Conference on Interaction of Intense Energy Fluxes with Matter (ELBRUS). Nalčik (RU), 01.03.2017-06.03.2017]
Institucionální podpora: RVO:61389021
Klíčová slova: laser shock dynamics * structured targets * complex focal spots
Obor OECD: Optics (including laser optics and quantum optics)
https://iopscience.iop.org/article/10.1088/1742-6596/946/1/012013/pdf
Trvalý link: http://hdl.handle.net/11104/0299531