Names are not just Sound and Smoke: Word Embeddings for Axiom Selection
U. Furbach, T. Krämer, и C. Schon.
CADE 27, 27st International Conference on Automated Deduction, Natal, Brasil, August 25-30, 2019 , (2019)

  • @cschon
К этой публикации ещё не было создано рецензий.

распределение оценок
средняя оценка пользователей0,0 из 5.0 на основе 0 рецензий
    Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)