Olšák, Mirek

1 ta ish

Institute of Advanced Scientific Studies

1. MizAR 60 for Mizar 50

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

   Preprint202333 iqtibos

   ABIABI:AkademIndex/2026.other.206430