EasyChair Smart SlideHelp/Log in
Author: Andrei Popescu

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

A Formally Verified Abstract Account of Gödel's Incompleteness Theorems

A Formally Verified Abstract Account of Gödel's Incompleteness Theorems

Andrei Popescu and Dmitriy Traytel

Presentations in this collection: 1
Copyright © 2002 – 2021 EasyChair