Применение технологии машинного обучения и искусственных нейронных сетей для автоматического доказательства теорем
Închide
Articolul precedent
Articolul urmator
373 14
Ultima descărcare din IBN:
2023-02-25 14:04
Căutarea după subiecte
similare conform CZU
004.89 (148)
Inteligență artificială (307)
SM ISO690:2012
УМБАТОВ, Ахмед. Применение технологии машинного обучения и искусственных нейронных сетей для автоматического доказательства теорем. In: Sesiune naţională de comunicări ştiinţifice studenţeşti:: Științe ale naturii și exacte, 25-27 aprilie 2018, Chișinău. Chișinău, Republica Moldova: Centrul Editorial-Poligrafic al USM, 2018, SNE, pp. 123-125. ISBN 978-9975-71-990-2..
EXPORT metadate:
Google Scholar
Crossref
CERIF

DataCite
Dublin Core
Sesiune naţională de comunicări ştiinţifice studenţeşti:
SNE, 2018
Sesiunea "Sesiune naţională de comunicări ştiinţifice studenţeşti"
Chișinău, Moldova, 25-27 aprilie 2018

Применение технологии машинного обучения и искусственных нейронных сетей для автоматического доказательства теорем

CZU: 004.89

Pag. 123-125

Умбатов Ахмед
 
Молдавский Государственный Университет
 
 
Disponibil în IBN: 30 iunie 2019