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.
Faculty/Chair:
Author:
 ;  ;  ; 
Title of the Journal:
Logic journal of the IGPL
ISSN:
1368-9894
1367-0751
Publisher Information:
Year of publication:
2024
Volume:
32
Issue:
3
Pages:
Language:
English
DOI:
Peer Reviewed:
Yes:
International Distribution:
Yes:
Type:
Article
URI:
Activation date:
January 30, 2023

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/57954