study of continuous vector representations for theorem proving.
Saved in:
| Title: | study of continuous vector representations for theorem proving. |
|---|---|
| Authors: | PurgaŁ, StanisŁaw1, Parsert, Julian2, Kaliszyk, Cezary3, cezary.kaliszyk@uibk.ac.at |
| Source: | Journal of Logic & Computation; Dec2021, Vol. 31 Issue 8, p2057-2083, 27p |
| Database: | Applied Science & Technology Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
Be the first to leave a comment!
