Knihovna Ústavu informatiky - archiv preprintù

Knihovna Ústavu informatiky - archiv preprintù Knihovna Ústavu informatiky - archiv nìkterých preprintù a open-access publikací// Library of ICS CAS - Preprints and open-access articles archive

FILIP, P., KOKOŠOVÁ, V., VALENTA, Zdenìk, BALÁŽ, M., MANGIA, S., MICHAELI, S., VOJTÍŠEK, L. Utility of quantitative MRI metrics in human brain ageing research. Frontiers in Aging Neuroscience. 2023, 15(March), 1099499. ISSN 1663-4365. E-ISSN 1663-4365. Dostupné z: doi: 10.3389/fnagi.2023.1099499. (PDF)
CINTULA, Petr, PAOLI, F. Is multiset consequence trivial? Synthese. 2021, 199(Suppl. 3), 741-765. ISSN 0039-7857. E-ISSN 1573-0964. Dostupné z: doi: 10.1007/s11229-016-1209-7. (PDF)
CINTULA, Petr, DIACONESCU, D., METCALFE, G. Skolemization for Substructural Logics. In: DAVIS, M., FEHNKER, A., MCIVER, A., VORONKOV, A., eds. Logic for Programming, Artificial Intelligence, and Reasoning. Berlin: Springer, 2015, s. 1-15. Lecture Notes in Computer Science, 9450. ISBN 978-3-662-48898-0. ISSN 0302-9743. Dostupné z: doi: 10.1007/978-3-662-48899-7_1. (PDF)