Search
Search
Advanced search
Change font size
Contrast versions
Language pl
godlo_uwb.svg

Poprzednia strona

Rekrutacja 2022/23

Publications

Lemma extraction criteria based on properties of theorem statements

13.02.2017

Lemma extraction criteria based on properties of theorem statements

K. Pąk

() 158-171

Print
Back
©2022 Wszystkie prawa zastrzeżone.