VSE knjižnice (vzajemna bibliografsko-kataložna baza podatkov COBIB.SI)
  • Theorem Proving and Machine Learning in the age of LLMs: SoA and Future Perspectives [Elektronski vir] : Edinburgh, Scotland, UK, April 7th-8th, 2025
    Theorem Proving and Machine Learning in the age of LLMs: SoA and Future Perspectives (delavnica) (2025 ; Edinburgh)
    Vrsta gradiva - spletno mesto ; neleposlovje za odrasle
    Založništvo in izdelava - [Bruselj] : COST action CA20111, European Research Network on Formal Proofs, 2025
    Jezik - angleški
    COBISS.SI-ID - 270263043

    Povezava(-e):

    https://europroofnet.github.io/wg5-edinburgh25/

Vnos na polico