Analysis and transformation of proof procedures | ORKG Ask

We use cookies to provide a better user experience.

Data Protection

Related items

Proof planning for imperative program development

Stark, J.

January 2000

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN032346 / BLDSC - British Library D...

The automation of proof A historical and sociological exploration

McKenzie, D
Edinburgh Univ. (United Kingdom). Programme on Information and Communication Technologies (PICT)

January 1994

SIGLEAvailable from British Library Document Supply Centre- DSC:3661.0182(EU-PICT-WP--56) / BLDSC - ...

Towards learning new methods in proof planning

Jamnik, M.
Kerber, M.
Benzmueller, C.
Birmingham Univ. (United Kingdom). Cognitive Science Research Centre

January 2000

SIGLEAvailable from British Library Document Supply Centre-DSC:3292.8854(00-9) / BLDSC - British Lib...