MyFinder is a unique search engine with a simple privacy concept in mind. We log your searches but none of the data, it's that simple.
OntologyOntology engineeringComputational semanticsFormal specificationInformaticsFormal methodsProgramming language theoryAction languageNatural-language programmingRule-based systemObject-orientationInstruction set architectureType classComputer architectureObject-oriented designProgram synthesisData modelingData typeSoftware architectureComputational linguisticsComputational learning theoryOracle machineFunctional programmingConceptual dependency theoryCoinductionSat solverCyclData, context and interactionHigher-order abstract syntaxPrologOutline of computer scienceRelational operatorControl flow analysisMetasyntaxCommunicating sequential processesHigh-level programming languageCompiler-compilerIdentityBehavior treeSearch algorithmEthics of artificial intelligenceDomain modelDomain-specific modelingData structureLanguage technologyReferential transparencyTerminal and nonterminal symbolsArtificial consciousnessAutomated reasoningDigital electronic computerHistory of machine translationSpecification languageTreeInformation modelParsing expression grammarSeparation logicEffect systemKnowledge-based systemsLibrarySyntaxDatabase schemaPrimitive data typeConstructed languagePurely functional data structureKnowledge baseIdentifierHardware description languageAlloyGene expression programmingOperator-precedence parserParsingComputational phylogeneticsLanguage engineeringObject databaseModeling languageSemantic parsingInformation systemDigital controlProlog syntax and semanticsObject-oriented operating systemDomain-specific languageExpert systemType signatureSymbolic artificial intelligenceOntology learningSystems programmingConceptual modelInterpreter patternIdef1xC data typesComposite data typeNamespaceRecordNatural language processingLogical access controlAbstract machineBinary decision diagramCognitive computingLinked data structureOperator