View in EDS HTML Full Text PDF Full Text

study of continuous vector representations for theorem proving.

Saved in:

Bibliographic Details
Title:	study of continuous vector representations for theorem proving.
Authors:	PurgaŁ, StanisŁaw¹, Parsert, Julian², Kaliszyk, Cezary³, 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.

Description
ISSN:	0955792X
DOI:	10.1093/logcom/exab006