Formalization and Implementation of Cognitive Semantics Joseph A Goguen Computer Science & Engineering University of California at San Diego Thanks to.
Formalization and Implementation of Cognitive Semantics