Search Results

thumbnail image
PDF
PDF-1(2.38 MB)

Citation & Export

Simple citation

Srinivasan, Chitoor V.. Ck-Log, A Calculus for Knowledge Processing in Logic. Retrieved from https://doi.org/doi:10.7282/T3CC145K

Export

Statistics