| 000 | 00711 a2200193 4500 | ||
|---|---|---|---|
| 005 | 20250517061825.0 | ||
| 008 | ####s 0 0 eng d | ||
| 022 | _a0747-7171 | ||
| 024 | 7 |
_a10.1016/j.jsc.2014.09.032 _2doi |
|
| 040 |
_aNLM _beng _cNLM |
||
| 100 | 1 | _aKaliszyk, Cezary | |
| 245 | 0 | 0 |
_aLearning-assisted theorem proving with millions of lemmas. _h[electronic resource] |
| 260 |
_bJournal of symbolic computation _cJul 2015 |
||
| 300 |
_a109-128 p. _bdigital |
||
| 500 | _aPublication Type: Journal Article | ||
| 700 | 1 | _aUrban, Josef | |
| 773 | 0 |
_tJournal of symbolic computation _gvol. 69 _gp. 109-128 |
|
| 856 | 4 | 0 |
_uhttps://doi.org/10.1016/j.jsc.2014.09.032 _zAvailable from publisher's website |
| 999 |
_c25410845 _d25410845 |
||