AndrewRSmart's repositories

CS5600

Stuff for CS5600

Language:CLicense:LGPL-3.0Stargazers:0Issues:0Issues:0

LIA_RAL

LIA_RAL biometric software

Language:C++License:LGPL-3.0Stargazers:2Issues:0Issues:0

hermit

A hypertableau-based Description Logic reasoner for OWL ontologies

Stargazers:0Issues:0Issues:0