Return to search

Generating pseudo-random theorems for testing theorem provers

No description available.
Identiferoai:union.ndltd.org:LACETR/oai:collectionscanada.gc.ca:QMM.54538
Date January 1978
CreatorsDarwish, Nevin Mahmoud, 1952-
PublisherMcGill University
Source SetsLibrary and Archives Canada ETDs Repository / Centre d'archives des thèses électroniques de Bibliothèque et Archives Canada
LanguageEnglish
Detected LanguageEnglish
TypeElectronic Thesis or Dissertation
Formatapplication/pdf
CoverageMaster of Science (School of Computer Science)
RightsAll items in eScholarship@McGill are protected by copyright with all rights reserved unless otherwise indicated.
Relationalephsysno: 000293157, proquestno: AAIMK39647, Theses scanned by UMI/ProQuest.

Page generated in 0.0018 seconds