Neural theorem proving in lean
Material type: TextLanguage: English Publication details: Bhubaneswar : NISER, 2024. Description: vi, 50pSubject(s): COMPUTATIONAL MATHEMATICS | NUMERICAL ANALYSISDDC classification: 519.6Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Dissertation (MSc) | NISER LIBRARY | 519.6 VIS-N (Browse shelf(Opens below)) | Not for loan | T725 |
There are no comments on this title.