EasyChair Smart SlideUser guide
Author: Cezary Kaliszyk

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

Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic

Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic

Johannes Niederhauser, Chad E. Brown and Cezary Kaliszyk

The Isabelle ENIGMA

The Isabelle ENIGMA

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

A Survey of Languages for Formalizing Mathematics

A Survey of Languages for Formalizing Mathematics

Cezary Kaliszyk and Florian Rabe

GRUNGE: A Grand Unified ATP Challenge

GRUNGE: A Grand Unified ATP Challenge

Chad Brown, Thibault Gauthier, Cezary Kaliszyk, Geoff Sutcliffe and Josef Urban

Towards Formal Foundations for Game Theory (Short Paper)

Towards Formal Foundations for Game Theory (Short Paper)

Julian Parsert and Cezary Kaliszyk

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