Automation of Boolos' Curious Inference in Isabelle/HOL
Benzmüller, Christoph; Fuenmayor, David; Steen, Alexander; u. a. (2022): Automation of Boolos’ Curious Inference in Isabelle/HOL, in: Archive of Formal Proofs,.
Faculty/Chair:
Author:
 ;  ;  ; 
Title of the Journal:
Archive of Formal Proofs
ISSN:
2150-914x
Year of publication:
2022
Pages:
Language:
English
URL:
Peer Reviewed:
Yes:
International Distribution:
Yes:
Open Access Journal:
Yes:
Type:
Article
URI:
Activation date:
January 11, 2023

Question on publication

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