proof comprehension
Recently Published Documents
TOTAL DOCUMENTS
14
(FIVE YEARS 2)
H-INDEX
5
(FIVE YEARS 0)
Keyword(s):
2021 ◽
Vol 1776
(1)
◽
pp. 012017
2020 ◽
Vol 30
(SP1)
◽
pp. 229-248
Keyword(s):
2019 ◽
Vol 39
(3)
◽
pp. 213-235
2017 ◽
Vol 19
(2)
◽
pp. 130-146
◽
2015 ◽
Vol 39
◽
pp. 28-50
◽