This volume contains a choice of literature on Automath. The editors aim to present a representative selection of articles and reports and of material contained in dissertations, providing an overview of the work that has been done in the Automath research field.
Read More
This volume contains a choice of literature on Automath. The editors aim to present a representative selection of articles and reports and of material contained in dissertations, providing an overview of the work that has been done in the Automath research field.
Read Less