Results 111 to 120 of about 4,264 (168)

Hootation: A GUI and API library for ontology validation and verbalization. [PDF]

open access: yesProc IEEE Int Conf Semant Comput
Amith M   +10 more
europepmc   +1 more source

DENOTATIONAL SEMANTICS EXCLUDING WEAK-EXTENSIONALITY IN SIMPLE TYPES (Proof Theory and Computation Theory)

open access: yesDENOTATIONAL SEMANTICS EXCLUDING WEAK-EXTENSIONALITY IN SIMPLE TYPES (Proof Theory and Computation Theory)
openaire  

Home - About - Disclaimer - Privacy