Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. A study of continuous vector representations for theorem proving

A study of continuous vector representations for theorem proving

Stanislaw J. Purgal‚ Julian Parsert and Cezary Kaliszyk

Journal
J. Log. Comput.
Number
8
Pages
2057–2083
Volume
31
Year
2021

Links

See Also

Back to Top