Mizar: State-of-the-art and Beyond.

Grzegorz Bancerek Czeslaw Bylinski Adam Grabowski Artur Kornilowicz Roman Matuszewski Adam Naumowicz Karol Pak Josef Urban

Published in: CICM (2015)

Keyphrases