Automation of Boolos' Curious Inference in Isabelle/HOL
Faculty/Professorship: | AI Systems Engineering |
Author(s): | Benzmüller, Christoph ![]() ![]() |
Title of the Journal: | Archive of Formal Proofs |
ISSN: | 2150-914x |
Year of publication: | 2022 |
Pages: | 6 |
Language(s): | English |
URL: | https://www.isa-afp.org/entries/Boolos_Curious_... |
Peer Reviewed: | Ja |
International Distribution: | Ja |
Open Access Journal: | Ja |
Type: | Article |
URI: | https://fis.uni-bamberg.de/handle/uniba/57579 |
Release Date: | 11. January 2023 |

originated at the
University of Bamberg
University of Bamberg