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
Add this copy of Selected Papers on Automath (Studies in Logic and the to cart. $189.81, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 1994 by North Holland.