Foto: Marek Menšík (Filozoficko-přírodovědecká fakulta Repo)

Marek Menšík (Filozoficko-přírodovědecká fakulta Repo)

Zaměstnanec: Filozoficko-přírodovědecká fakulta
učo: 1871

1871(zavináč/atsign)repozitar(tečka/dot)cz



Stať ve sborníku
  • Natural deduction system in the TIL-script language
    DUŽÍ, Marie, Marek MENŠÍK, Miroslav PAJR a Vojtěch PATSCHKA. Natural deduction system in the TIL-script language. In Endrjukaite, T., Jaakkola, H., Dudko, A., Kiyoki, Y., Thalheim, B., Yoshida, N. Frontiers in Artificial Intelligence and Applications. 312. vyd. Amsterdam: IOS Press. s. 237-255. ISBN 978-1-61499-933-1. doi:10.3233/978-1-61499-933-1-237. 2019.
  • Existential generalization in TIL
    MENŠÍK, Marek, Jakub KERMASCHEK a Luděk CIENCIALA. Existential generalization in TIL. In International Multidisciplinary Scientific GeoConference Surveying Geology and Mining Ecology Management, SGEM. Volume 17. Sofia: International Multidisciplinary Scientific Geoconference. s. 311-318. ISBN 978-619-7408-01-0. doi:10.5593/sgem2017/21/S07.040. 2017.
  • Membrane agents simulating Boolean circuits
    CIENCIALOVÁ, Lucie, Luděk CIENCIALA a Marek MENŠÍK. Membrane agents simulating Boolean circuits. In International Multidisciplinary Scientific GeoConference Surveying Geology and Mining Ecology Management, SGEM. Volume 17. Sofia: International Multidisciplinary Scientific Geoconference. s. 417-424. ISBN 978-619-7408-01-0. doi:10.5593/sgem2017/21/S07.053. 2017.