Search results
- 1.0587243 - ÚI 2025 RIV CH eng M - Monography Chapter
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.). Lecture Notes in Computer Science, 14560. ISBN 978-3-031-61715-7
Institutional support: RVO:67985807
https://link.springer.com/chapter/10.1007/978-3-031-61716-4_4
Permanent Link: https://hdl.handle.net/11104/0354482 - 2.0584859 - ÚI 2025 RIV CH eng M - Monography Chapter
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
EU Projects: European Commission(XE) CA20111
Institutional support: RVO:67985807
OECD category: 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
Permanent Link: https://hdl.handle.net/11104/0352646File Download Size Commentary Version Access 0584859-apre.pdf 1 373.7 KB v. 1 Author´s preprint open-access
Research data: Preprint - ArXiv.org - 3.0316618 - BÚ 2009 RIV NL eng M - Monography Chapter
Šrůtek, Miroslav - Urban, J.
Organic Farming.
[Organické zemědělství.]
Encyclopedia of Ecology. Vol. 3. první. Amsterdam: Elsevier, 2008 - (Jorgensen, S.; Fath, B.), s. 2582-2587. ISBN 978-0-08-045399-6
Institutional research plan: CEZ:AV0Z60050516
Keywords : agroecology * certification * sustainable agriculture
Subject RIV: EF - Botanics
Permanent Link: http://hdl.handle.net/11104/0166486