---
title: "Cambridge University Press — works of 2016 — 1 papers"
description: "1 works of Cambridge University Press from 2016 in our library, the most cited first. Among them: Hammering towards QED Journal of…"
canonical: "https://research.elamur.ai/free/en/companies/cambridge-university-press/year/2016/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/companies/cambridge-university-press/year/2016/)

[home](https://md.research.elamur.ai/free/en/) / [institutions](https://md.research.elamur.ai/free/en/orgs/) / [companies](https://md.research.elamur.ai/free/en/companies/) / [Cambridge University Press](https://md.research.elamur.ai/free/en/companies/cambridge-university-press/) / 2016

# Works of Cambridge University Press from 2016

1 work · the most cited first · [← Cambridge University Press](https://md.research.elamur.ai/free/en/companies/cambridge-university-press/)

1. [**Hammering towards QED Journal of Formalized Reasoning 9(1)**Jasmin Christian Blanchette, Cezary Kaliszyk, Lawrence C. Paulson, et al.*2016 · 127 citations*](https://md.research.elamur.ai/free/en/papers/blanchette-2016-hammering-qed/)
- [← back to](https://md.research.elamur.ai/free/en/companies/cambridge-university-press/) — Cambridge University Press