| 000 | 00779nam a22001697a 4500 | ||
|---|---|---|---|
| 999 |
_c319818 _d319818 |
||
| 040 | _bukr | ||
| 041 | 0 | _aeng | |
| 100 | 1 | _aAndrusyshyn, Orest | |
| 245 | 1 | 0 |
_aFacilitation of the theorem proving in Coq using transformer _cOrest Andrusyshyn ; supervisor : Vasyl Lenko |
| 246 | 0 | 1 |
_aСприяння доведенню теорем в Coq шляхом використання трансформера _сАндрусишин Орест |
| 260 |
_aLviv _b[s.n.] _c2024 |
||
| 300 |
_aix, 32 арк. _bіл. _c30 см |
||
| 502 | _aБакалаврська робота | ||
| 504 | _aМістить бібліографію | ||
| 710 | 2 |
_aUkrainian Catholic University _bDepartment of computer science and information technologies _bFaculty of applied sciences |
|
| 942 |
_2lcc _cBOOK |
||