EasyChair Smart SlideUser guide
Author: Zarathustra Goertzel

This page shows all presentations of this author published in EasyChair Smart Slide.

The Isabelle ENIGMA

The Isabelle ENIGMA

Zarathustra Goertzel, Jan Jakubův, Cezary Kaliszyk, Miroslav Olšák, Jelle Piepenbrock and Josef Urban

ProofWatch Meets ENIGMA: First Experiments

ProofWatch Meets ENIGMA: First Experiments

Zarathustra Goertzel, Josef Urban and Jan Jakubův

ProofWatch: Watchlist Guidance for Large Theories in E

ProofWatch: Watchlist Guidance for Large Theories in E

Zarathustra Goertzel, Jan Jakubuv, Stephan Schulz and Josef Urban

Presentations in this collection: 3
Copyright © 2002 – 2026 EasyChair