Sign in
Four Decades of Mizar - Foreword.
Adam Grabowski
Artur Kornilowicz
Adam Naumowicz
Published in:
J. Autom. Reason. (2015)
Keyphrases
</>
computer assisted
special issue
pattern recognition