Search results

  1. 1.
    0584859 - ÚI 2025 CH eng C - Conference Paper (international conference)
    Blaauwbroek, L. - Cerna, David M. - Gauthier, T. - Jakubův, J. - Kaliszyk, C. - Suda, M. - Urban, J.
    Learning Guided Automated Reasoning: A Brief Survey (Accepted).
    Essays in Honor of the 60th Birthday of Herman Geuvers (to appear). Springer, 2024 - (Capretta, V.; Krebbers, R.; Wiedijk, F.)
    EU Projects: European Commission(XE) CA20111
    Institutional support: RVO:67985807
    Permanent Link: https://hdl.handle.net/11104/0352646
    FileDownloadSizeCommentaryVersionAccess
    0584859-apre.pdf1373.7 KBv. 1Author´s preprintopen-access
     

    Research data: Preprint - ArXiv.org
     
  2. 2.
    0162378 - UIACH-O 20020029 PL eng C - Conference Paper (international conference)
    Urban, J. - Moravcová, D. - Jandera, P. - Planeta, Josef
    Characterisation of polymer monolithic stationary phases for capillary HPLC.
    The Abstract Book of the 8th International Symposium on Separation Sciences. Torun: Nicholas Copernicus University Torun, 2002, s. -.
    [International Symposium on Separation Sciences /8./. Torun (PL), 08.09.2002-12.09.2002]
    R&D Projects: GA ČR GA203/01/0238
    Institutional research plan: CEZ:AV0Z4031919
    Keywords : polymer monolithic stationary phase * HPLC
    Subject RIV: CB - Analytical Chemistry, Separation
    Permanent Link: http://hdl.handle.net/11104/0059693
     
     


  This site uses cookies to make them easier to browse. Learn more about how we use cookies.