Experimental System for CNF Generation
type Software Instance
Description Experimental System for CNF (Conjunctive Normal Form) Generation
ID
Software Type
Designer Stuart Aitken
Developer Stuart Aitken
Development Status starting
IPR Owner Stuart Aitken
Published Place
Main Research Area Description Logic
Relevant Research Area Ontologies, Validation, (intended use for) Consistency Checking
Cross References
Source Provider(real world) Stuart Aitken