All Documents
Simplified Common Logic A flexible framework for information interchange based on first-order logic.
Category:
Documents
Released:
March 26, 2015