Names are not just Sound and Smoke: Word Embeddings for Axiom Selection
Pascal Fontaine (Hrsg). Automated Deduction - CADE-27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2019 S. 250 - 268
Erscheinungsjahr: 2019
ISBN/ISSN: 978-3-030-29435-9
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1007/978-3-030-29436-6_15
| Geprüft: | Bibliothek |
