Introduction to the papers and posters of WG1: Argumentation and Proof

Abstract

The papers focus on an analysis of reports, presentations and discussions carried out at the working Group 1 (argumentation and proof)

    Similar works