Back to results

[S.l. : s.n.]

Studies in mechanical verification of mathematical proofs

dc:creator Ruys, Mark Pieter Jan

dc:date1999

Abstract

dc:description

Contains fulltext : 18727_studinmev.pdf (Publisher’s version ) (Open Access)

Degree

thesis:*

Grantor dc:publisher: [S.l. : s.n.]
Year dc:date: 1999

Author and committee

dc:creator, dc:contributor.*

Author dc:creator: Ruys, Mark Pieter Jan

Rights

dc:rights

Statement dc:rights: (c) Mark Pieter Jan Ruys, 1999
Language dc:language: en

Identifiers

dc:identifier.*

Identifier: 9090126449
OAI identifier oai:identifier: oai:repository.ubn.ru.nl:2066/18729

Chain of custody

source

Harvested from: Radboud University Nijmegen
Base URL: repository.ubn.ru.nl/oai/request
Last updated: 2026-07-24
Source record: OAI-PMH GetRecord

related terms

radboud
1999

citation

Ruys, Mark Pieter Jan. Studies in mechanical verification of mathematical proofs. [S.l. : s.n.], 1999. http://hdl.handle.net/2066/18729

More from Radboud University Nijmegen