🏢 Works of Cambridge University Press from 2016

1 work · the most cited first · ← Cambridge University Press

1. Hammering towards QEDJournal of Formalized Reasoning 9(1)Jasmin Christian Blanchette, Cezary Kaliszyk, Lawrence C. Paulson, et al.2016 · 127 citations

This page in Markdown → https://md.research.elamur.ai/free/en/companies/cambridge-university-press/year/2016/