An Insight into Higher Order Logic (HOL) based Ontology NeuroInformatics Framework by Considering Ontology Oriented Concepts & Language/s based on HOL/Grobner Bases/Scala/Jikes RVM/JVMTechnologies/IoT Computing Environments.
Nirmal Kumar · viXra · 2018
“Grobner Bases Theory” & Ontology could be implemented as explained - An Insight into Higher Order Logic (HOL) based Ontology Neuroinformatics Framework by Considering Ontology Oriented Concepts & Language/s based on HOL/Grobner Bases/Scala/Jikes RVM/JVM Technologies/IoT Computing Environments.