Wartungsarbeiten am Mittwoch den 4.6.2025 von 11 bis 13 Uhr.
University of Bamberg
FIS
Options
Who Finds the Short Proof?
Benzmüller, Christoph; Fuenmayor, David; Steen, Alexander; u. a. (2024): Who Finds the Short Proof?, in: Logic journal of the IGPL, Oxford [u.a.]: Oxford University Press, Jg. 32, Nr. 3, S. 442–464, doi: 10.1093/jigpal/jzac082.
