Automation of Boolos' Curious Inference in Isabelle/HOL
by Christoph Benzmüller, David Fuenmayor, Alexander Steen and Geoff Sutcliffe
by Christoph Benzmüller, David Fuenmayor, Alexander Steen and Geoff Sutcliffe
Computer science/Artificial intelligence
Subject Classification
ACM: Computing methodologies~Artificial intelligence
AMS: Computer science / Artificial intelligence
2022
by Christoph Benzmüller, David Fuenmayor, Alexander Steen and Geoff Sutcliffe