Näytetään 401 - 410 yhteensä 431 tuloksesta haulle '"Formalisms."', hakuaika: 0,02s Tarkenna hakua
  1. 401

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

    Kirja

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

    Generalized Bezout Identity. Tekijä Pommaret, J.F

    Artikkeli

    Generalized Bezout Identity.
  3. 403

    Automatic information extraction from large websites. Tekijä Crescenzi, Valter

    Julkaisussa Journal of the ACM
    Artikkeli

    Automatic information extraction from large websites.
  4. 404

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

    Julkaisussa Journal of the ACM
    Artikkeli

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

    Decomposable negation normal form. Tekijä Darwiche, A.

    Julkaisussa Journal of the ACM
    Artikkeli

    Decomposable negation normal form.
  6. 406

    Plausibility measures and default reasoning. Tekijä Friedman, N.

    Julkaisussa Journal of the ACM
    Artikkeli

    Plausibility measures and default reasoning.
  7. 407

    The exterminators [software bugs]. Tekijä Ross, P.E

    Julkaisussa IEEE spectrum
    Artikkeli

    The exterminators [software bugs].
  8. 408

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

    Artikkeli

    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. Tekijä Martins, J.E

    Artikkeli

    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. Tekijä Frey, P.

    Artikkeli

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

Työkalut: