Dangos 131 - 135 canlyniadau o 135 ar gyfer chwilio 'Journal of the ACM', amser ymholiad: 0.02e Mireinio'r Canlyniadau
  1. 131

    On sufficient conditions for unsatisfiability of random formulas. gan Atserias, Albert

    Cyhoeddwyd yn Journal of the ACM
    Erthygl

    On sufficient conditions for unsatisfiability of random formulas.
  2. 132

    Interval arithmetic From principles to implementation. gan Hickey, T.

    Cyhoeddwyd yn Journal of the ACM
    Erthygl

    Interval arithmetic From principles to implementation.
  3. 133

    A unified approach to approximating resource allocation and scheduling. gan Bar-Noy, Amotz

    Cyhoeddwyd yn Journal of the ACM
    Erthygl

    A unified approach to approximating resource allocation and scheduling.
  4. 134

    Decomposable negation normal form. gan Darwiche, A.

    Cyhoeddwyd yn Journal of the ACM
    Erthygl

    Decomposable negation normal form.
  5. 135

    Plausibility measures and default reasoning. gan Friedman, N.

    Cyhoeddwyd yn Journal of the ACM
    Erthygl

    Plausibility measures and default reasoning.

Offerynnau Chwilio: