Options
Who Finds the Short Proof? : an Exploration of Variants of Boolos' Curious Inference using Higher-order Automated Theorem Provers
Benzmüller, Christoph; Fuenmayor, David; Steen, Alexander; u. a. (2022): „Who Finds the Short Proof? : an Exploration of Variants of Boolos’ Curious Inference using Higher-order Automated Theorem Provers“. arXiv doi: 10.48550/ARXIV.2208.06879.
Faculty/Professorship:
Publisher Information:
Year of publication:
2022
Pages:
Language:
English
Type:
Preprint
published:
September 16, 2022
Permalink
https://fis.uni-bamberg.de/handle/uniba/55558