Akademska digitalna zbirka SLovenije - logo
VSE knjižnice (vzajemna bibliografsko-kataložna baza podatkov COBIB.SI)
  • Intelligent Computer Mathematics : 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020 : proceedings
    Conference on Intelligent Computer Mathematics, CICM (13 ; 2020 ; Online)
    This book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, CICM 2020, held in Bertinoro, Italy, in July 2020. The 15 full papers, 1 ... invited paper and 2 abstracts of invited papers presented were carefully reviewed and selected from a total of 35 submissions. The papers focus on advances in automated theorem provers and formalization, computer algebra systems and their libraries, and applications of machine learning, among other topics. The conference was held virtually due to the COVID-19 pandemic.
    Vrsta gradiva - konferenčni zbornik
    Založništvo in izdelava - Cham : Springer, cop. 2020
    Jezik - angleški
    ISBN - 978-3-030-53517-9; 978-3-030-53518-6
    COBISS.SI-ID - 53590019

    Povezava(-e):

    https://link.springer.com/book/10.1007/978-3-030-53518-6
    DOI

Nobena knjižnica v sistemu COBISS.SI nima izvoda tega gradiva (gre za elektronski vir ali pa poleg tiskane verzije obstaja tudi elektronska).
loading ...
loading ...
loading ...

Vnos na polico