Who Finds the Short Proof?





Faculty/Professorship: AI Systems Engineering 
Author(s): Benzmüller, Christoph  ; Fuenmayor, David  ; Steen, Alexander; Sutcliffe, Geoff
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