Showing 2,111 - 2,120 results of 2,262 for search '"Logic"', query time: 0.02s Refine Results
  1. 2111

    Signed Distance Measure in Fuzzy Statistical Analysis Theoretical, Empirical and Programming Advances by Berkachy, Redina

    Book

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

    Fuzzy Logic theory and applications

    Book

    Fuzzy Logic theory and applications
  3. 2113

    Formal methods state of the art and future directions. by Clarke, Edmund M.

    Published in ACM computing surveys.
    Article

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

    Probabilistic temporal databases, I algebra. by Dekhtyar, Alex

    Article

    Probabilistic temporal databases, I algebra.
  5. 2115

    Application of aboutness to functional benchmarking in information retrieval. by Wong, Kam-Fai

    Article

    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. by Meuss, Holger

    Article

    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. by Schaub, Torsten

    Article

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

    Recovery of (non)monotonic theories. by Witteveen, Cees

    Article

    Recovery of (non)monotonic theories.
  9. 2119

    Resolution lower bounds for the weak pigeonhole principle. by Raz, R.

    Published in Journal of the ACM
    Article

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

    Existential second-order logic over graphs Charting the tractability frontier. by Gottlob, Georg

    Published in Journal of the ACM
    Article

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

Search Tools: