Studies in mechanical verification of mathematical proofs
type: CreativeWork
description: Contains fulltext : 18727_studinmev.pdf (Publisher’s version ) (Open Access)
abstract: Contains fulltext : 18727_studinmev.pdf (Publisher’s version ) (Open Access)
author: Ruys, Mark Pieter Jan
language: en
date published: 1999
date modified: 2026-07-24T04:03:01Z
provider: Radboud University Nijmegen
publisher: Networked Digital Library of Theses and Dissertations
type: WebPage
source organization: [S.l. : s.n.]

PropertyValue
property ID: Handle
value: http://hdl.handle.net/2066/18729