Piotrowski, Bartosz

1 ta ish

Czech Technical University in Prague

1. MizAR 60 for Mizar 50

   Jakubův, Jan, Chvalovský, Karel, Goertzel, Zarathustra +6

   Preprint202333 iqtibos

   ABIABI:AkademIndex/2026.other.206430