@cschon

Names are not just Sound and Smoke: Word Embeddings for Axiom Selection

U. Furbach, T. Krämer, und C. Schon. CADE 27, 27st International Conference on Automated Deduction, Natal, Brasil, August 25-30, 2019 , (2019)

Links und Ressourcen

BibTeX-Schlüssel:
cade2019
Suchen auf:

Kommentare und Rezensionen  
(0)

Es gibt bisher keine Rezension oder Kommentar. Sie können eine schreiben!

Tags


Zitieren Sie diese Publikation