@cschon

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)

Линки и ресурсы

ключ BibTeX:
cade2019
искать в:

Комментарии и рецензии  
(0)

Комментарии, или рецензии отсутствуют. Вы можете их написать!

Tags


Цитировать эту публикацию