-
Intelligent Computer Mathematics : 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020 : proceedingsConference 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 zbornikZaložništvo in izdelava - Cham : Springer, cop. 2020Jezik - angleškiISBN - 978-3-030-53517-9; 978-3-030-53518-6COBISS.SI-ID - 53590019
Avtor
Conference on Intelligent Computer Mathematics, CICM
Drugi avtorji
Benzmüller, Christoph |
Miller, Bruce Reagan
Zbirka
Lecture notes in computer science. Lecture notes in artificial intelligence
Teme
artificial intelligence |
computer systems |
databases |
education |
formal languages |
formal logic |
knowledge-based system |
libraries |
linguistics |
machine learning |
semantics |
software design |
theorem provers
Vnos na polico
Trajna povezava
- URL:
Faktor vpliva
Dostop do baze podatkov JCR je dovoljen samo uporabnikom iz Slovenije. Vaš trenutni IP-naslov ni na seznamu dovoljenih za dostop, zato je potrebna avtentikacija z ustreznim računom AAI.
Leto | Faktor vpliva | Izdaja | Kategorija | Razvrstitev | ||||
---|---|---|---|---|---|---|---|---|
JCR | SNIP | JCR | SNIP | JCR | SNIP | JCR | SNIP |
Baze podatkov, v katerih je revija indeksirana
Ime baze podatkov | Področje | Leto |
---|
Povezave do osebnih bibliografij avtorjev | Povezave do podatkov o raziskovalcih v sistemu SICRIS |
---|---|
Benzmüller, Christoph | |
Miller, Bruce Reagan |
Izberite prevzemno mesto:
Prevzem gradiva po pošti
Obvestilo
Gesla v Splošnem geslovniku COBISS
Izbira mesta prevzema
Mesto prevzema | Status gradiva | Rezervacija |
---|
Prosimo, počakajte trenutek.