Showing 401 - 410 results of 428 for search '"Formalism"', query time: 0.02s Refine Results
  1. 401

    Broadcasting for non-formal education curriculum notes and guidelines for country workshops

    Book

    Broadcasting for non-formal education curriculum notes and guidelines for country workshops
  2. 402

    Generalized Bezout Identity. by Pommaret, J.F

    Article

    Generalized Bezout Identity.
  3. 403

    Automatic information extraction from large websites. by Crescenzi, Valter

    Published in Journal of the ACM
    Article

    Automatic information extraction from large websites.
  4. 404

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

    Published in Journal of the ACM
    Article

    On sufficient conditions for unsatisfiability of random formulas.
  5. 405

    Decomposable negation normal form. by Darwiche, A.

    Published in Journal of the ACM
    Article

    Decomposable negation normal form.
  6. 406

    Plausibility measures and default reasoning. by Friedman, N.

    Published in Journal of the ACM
    Article

    Plausibility measures and default reasoning.
  7. 407

    The exterminators [software bugs]. by Ross, P.E

    Published in IEEE spectrum
    Article

    The exterminators [software bugs].
  8. 408

    A knowledge creation info-structure to acquire and crystallize the tacit knowledge of health-care experts. by Abidi, S.S.R

    Article

    A knowledge creation info-structure to acquire and crystallize the tacit knowledge of health-care experts.
  9. 409

    New trends in recognizing experimental drives fuzzy logic and formal language theories. by Martins, J.E

    Article

    New trends in recognizing experimental drives fuzzy logic and formal language theories.
  10. 410

    A formal specification and verification framework for Time Warp-based parallel simulation. by Frey, P.

    Article

    A formal specification and verification framework for Time Warp-based parallel simulation.

Search Tools: