EasyChair Smart SlideDocs/Log in
Conference: CADE-30 (30th International Conference on Automated Deduction)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Faithful Logic Embeddings in HOL – Deep and Shallow

Faithful Logic Embeddings in HOL – Deep and Shallow

Christoph Benzmüller

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