Poprzednia strona
Rekrutacja 2022/23
Four Decades of Mizar, Foreword
A. Grabowski, A. Korniłowicz, A. Naumowicz
J. Automat. Reason. 55 (2015) 191-198
DOI: 10.1007/s10817-015-9345-1
