EasyChair Smart SlideDocs/Log in
Author: Pedro Quaresma

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

A Rule Based Theorem Prover: an Introduction to Proofs in Secondary Education

A Rule Based Theorem Prover: an Introduction to Proofs in Secondary Education

Joana Teles, Vanda Santos and Pedro Quaresma

Rule Based Geometry Automated Theorem Provers for Geometry

Rule Based Geometry Automated Theorem Provers for Geometry

Nuno Baeta, Pedro Teixeira and Pedro Quaresma

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