wbkboyer/cmpt721a3
Normalization and Subsumption in Brachman and Levesque's Description Logic
Public GitHub Catalog
Discovered Sep 29, 2026
wbkboyer / CryptoGUI
Public repository discovered through GitHub real-time crawl.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#15663634GitHub System ID
wbkboyerOrganization / User
PublicVisibility
ActiveCatalog Status
More from wbkboyer
wbkboyer/CMPT827
Public repository.
wbkboyer/CMPT721Assign2
Safety saves on my implementation of the well-founded model
wbkboyer/PersonalProjects
Proving my programming prowess