A light-weight integration of automated and interactive theorem proving.

Saved in:

Bibliographic Details
Title:	A light-weight integration of automated and interactive theorem proving.
Authors:	KANSO, KARIM¹ cskarim@swansea.ac.uk, SETZER, ANTON¹ a.g.setzer@swansea.ac.uk
Source:	Mathematical Structures in Computer Science. Jan2016, Vol. 26 Issue 1, p129-153. 25p.
Database:	Mathematics Source

Description
ISSN:	09601295
DOI:	10.1017/S0960129514000140