View in EDS PDF Full Text

Hammering towards QED.

Saved in:
Bibliographic Details
Title: Hammering towards QED.
Authors: Blanchette, Jasmin C.1, Kaliszyk, Cezary2, Paulson, Lawrence C.3, Urban, Josef4
Source: Journal of Formalized Reasoning. 2016, Vol. 9 Issue 1, p101-148. 48p.
Database: Academic Search Ultimate
Description
ISSN:19725787