C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
MizAR 60 for Mizar 50.
Jan Jakubuv
Karel Chvalovský
Zarathustra Amadeus Goertzel
Cezary Kaliszyk
Mirek Olsák
Bartosz Piotrowski
Stephan Schulz
Martin Suda
Josef Urban
Published in:
ITP (2023)
Keyphrases
</>
computer assisted
image analysis
image segmentation