Rating Disambiguation Errors

DOI10.1007/978-3-642-35308-6_19zbMath1383.68069OpenAlexW42328532MaRDI QIDQ4916064

Andrea Asperti, Wilmer Ricciotti

Publication date: 19 April 2013

Published in: Certified Programs and Proofs (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-35308-6_19

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

This page was built for publication: Rating Disambiguation Errors