Return to search

ND, a rule-based implementation of natural deduction : design of the theorem-prover and tutoring system

No description available.
Identiferoai:union.ndltd.org:mcgill.ca/oai:escholarship.mcgill.ca:4m90dw55b
Date January 1988
CreatorsDongier, François
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: 63952, Proquest: AAIML46033

Page generated in 0.0026 seconds