Names Are Not Just Sound and Smoke: Word Embeddings for Axiom Selection
Automated Deduction: CADE 27. Cham: Springer 2019 S. 250 - 268 (Lecture Notes in Computer Science, Bd. 11716)
Erscheinungsjahr: 2019
ISBN/ISSN: 9783030294359
Publikationstyp: Buchbeitrag (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1007/978-3-030-29436-6_15
| Geprüft | Bibliothek |
Klassifikation
DDC Sachgruppe:
Informatik
