Výsledky vyhledávání
- 1.0584859 - ÚI 2025 RIV CH eng M - Část monografie knihy
Blaauwbroek, L. - Cerna, David M. - Gauthier, T. - Jakubův, J. - Kaliszyk, C. - Suda, M. - Urban, J.
Learning Guided Automated Reasoning: A Brief Survey.
Logics and Type Systems in Theory and Practice. Essays in Honor of the 60th Birthday of Herman Geuvers. Cham: Springer, 2024 - (Capretta, V.; Krebbers, R.; Wiedijk, F.), s. 54-83. Lecture Notes in Computer Science, 14560. ISBN 978-3-031-61715-7
GRANT EU: European Commission(XE) CA20111
Institucionální podpora: RVO:67985807
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://doi.org/10.1007/978-3-031-61716-4_4
Trvalý link: https://hdl.handle.net/11104/0352646Název souboru Staženo Velikost Komentář Verze Přístup 0584859-apre.pdf 1 373.7 KB v. 1 Autorský preprint povolen
Vědecká data: Preprint - ArXiv.org