EasyChair Smart SlideUser guide
Author: Alexander Lyaletski

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

Evidence Algorithm, SAD systems, and automated theorem proving

Evidence Algorithm, SAD systems, and automated theorem proving

Alexander Lyaletski

On a multi-language computer support of a human mathematical activity

On a multi-language computer support of a human mathematical activity

Elena Glazunova, Bella Golub and Alexander Lyaletski

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