Login / Signup

Names Are Not Just Sound and Smoke: Word Embeddings for Axiom Selection.

Ulrich FurbachTeresa KrämerClaudia Schon
Published in: CADE (2019)
Keyphrases