From OntologPSMW

Jump to: navigation, search
[ ]

[[PrIKL]] is a automatic theorem prover for IKL.     (1)

... (details coming!)     (2)


This page has been migrated from the OntologWiki - Click here for original page     (3)