Neural Networks for Proof-Pattern Recognition
- Ekaterina Komendantskaya
- , Kacper Lichota
Research output: Chapter in Book/Report/Conference proceeding › Chapter
1
Link opens in a new tab
Citation
(Scopus)