Who Finds the Short Proof?
Faculty/Professorship: | AI Systems Engineering |
Author(s): | Benzmüller, Christoph ![]() ![]() |
Title of the Journal: | Logic journal of the IGPL |
ISSN: | 1368-9894, 1367-0751 |
Publisher Information: | Oxford [u.a.] : Oxford University Press |
Year of publication: | 2023 |
Issue: | Online First |
Pages: | 1-23 |
Language(s): | English |
DOI: | 10.1093/jigpal/jzac082 |
Peer Reviewed: | Ja |
International Distribution: | Ja |
Type: | Article |
URI: | https://fis.uni-bamberg.de/handle/uniba/57954 |
Release Date: | 30. January 2023 |

originated at the
University of Bamberg
University of Bamberg