Showing 2,111 - 2,120 results of 2,262 for search '"Logic."', सवाल का समय: 0.02सेकंड परिणाम को परिष्कृत करें
  1. 2111

    Signed Distance Measure in Fuzzy Statistical Analysis Theoretical, Empirical and Programming Advances द्वारा Berkachy, Redina

    पुस्तक

    Signed Distance Measure in Fuzzy Statistical Analysis Theoretical, Empirical and Programming Advances
  2. 2112

    Fuzzy Logic theory and applications

    पुस्तक

    Fuzzy Logic theory and applications
  3. 2113

    Formal methods state of the art and future directions. द्वारा Clarke, Edmund M.

    में प्रकाशित ACM computing surveys.
    लेख

    Formal methods state of the art and future directions.
  4. 2114

    Probabilistic temporal databases, I algebra. द्वारा Dekhtyar, Alex

    में प्रकाशित ACM transactions on database systems.
    लेख

    Probabilistic temporal databases, I algebra.
  5. 2115

    Application of aboutness to functional benchmarking in information retrieval. द्वारा Wong, Kam-Fai

    में प्रकाशित ACM transactions on information systems.
    लेख

    Application of aboutness to functional benchmarking in information retrieval.
  6. 2116

    Complete answer aggregates for treelike databases a novel approach to combine querying and navigation. द्वारा Meuss, Holger

    में प्रकाशित ACM transactions on information systems.
    लेख

    Complete answer aggregates for treelike databases a novel approach to combine querying and navigation.
  7. 2117

    Prolog technology for default reasoning proof theory and compilation techniques. द्वारा Schaub, Torsten

    में प्रकाशित Artificial intelligence.
    लेख

    Prolog technology for default reasoning proof theory and compilation techniques.
  8. 2118

    Recovery of (non)monotonic theories. द्वारा Witteveen, Cees

    में प्रकाशित Artificial intelligence.
    लेख

    Recovery of (non)monotonic theories.
  9. 2119

    Resolution lower bounds for the weak pigeonhole principle. द्वारा Raz, R.

    में प्रकाशित Journal of the ACM
    लेख

    Resolution lower bounds for the weak pigeonhole principle.
  10. 2120

    Existential second-order logic over graphs Charting the tractability frontier. द्वारा Gottlob, Georg

    में प्रकाशित Journal of the ACM
    लेख

    Existential second-order logic over graphs Charting the tractability frontier.

खोज साधन: