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)

  • @cschon
Diese Publikation wurde noch nicht bewertet.

Bewertungsverteilung
Durchschnittliche Benutzerbewertung0,0 von 5.0 auf Grundlage von 0 Rezensionen
    Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.