Document Type
Technical Report
Publication Date
2011
Recommended Citation
Artemov, Sergei N., "TR-2011008: The Ontology of Justifications in the Logical Setting" (2011). CUNY Academic Works.
https://academicworks.cuny.edu/gc_cs_tr/357
Skip to main content
COinS