Return to search

Generating pseudo-random theorems for testing theorem provers

No description available.
Identiferoai:union.ndltd.org:mcgill.ca/oai:escholarship.mcgill.ca:nk322f50n
Date January 1978
CreatorsDarwish, Nevin Mahmoud, 1952-
PublisherMcGill University
Source SetsMcGill University
Languagehttp://id.loc.gov/vocabulary/iso639-2/eng
Detected LanguageEnglish
TypeThesis
RightsAll items in eScholarship@McGill are protected by copyright with all rights reserved unless otherwise indicated.
RelationPid: 54538, Proquest: AAIMK39647

Page generated in 0.002 seconds