Dangos 331 - 340 canlyniadau o 431 ar gyfer chwilio '"Formalisms."', amser ymholiad: 0.02e Mireinio'r Canlyniadau
  1. 331

    Numerical collapse simulation of large-scale structural systems using an optimization-based algorithm. gan Sivaselvan, Mettupalayam V.

    Erthygl

    Numerical collapse simulation of large-scale structural systems using an optimization-based algorithm.
  2. 332

    Disjunctive datalog. gan Eiter, Thomas

    Erthygl

    Disjunctive datalog.
  3. 333

    Software verification and validation with destiny a parallel approach to automated theorem proving. gan Dykstra, Josiah

    Erthygl

    Software verification and validation with destiny a parallel approach to automated theorem proving.
  4. 334

    Relational expressive power of constraint query languages. gan Benedikt, Michael

    Cyhoeddwyd yn Journal of the ACM
    Erthygl

    Relational expressive power of constraint query languages.
  5. 335

    Probabilistic checking of proofs a new characterization of NP. gan Arora, Sanjeev

    Cyhoeddwyd yn Journal of the ACM
    Erthygl

    Probabilistic checking of proofs a new characterization of NP.
  6. 336

    Theory of neuromata. gan íma, Jiří

    Cyhoeddwyd yn Journal of the ACM
    Erthygl

    Theory of neuromata.
  7. 337

    Corrigendum Reasoning about knowledge and probability?. gan Fagin, Ronald

    Cyhoeddwyd yn Journal of the ACM
    Erthygl

    Corrigendum Reasoning about knowledge and probability?.
  8. 338

    Satisfiability of word equations with constants is in PSPACE. gan Plandowski, Wojciech

    Cyhoeddwyd yn Journal of the ACM
    Erthygl

    Satisfiability of word equations with constants is in PSPACE.
  9. 339

    π-AAL an architecture analysis language for formally specifying and verifying structural and behavioural properties of software architectures. gan Mateescu, Radu

    Erthygl

    π-AAL an architecture analysis language for formally specifying and verifying structural and behavioural properties of software architectures.
  10. 340

    Invariants and state in testing and formal methods. gan Hamlet, Dick

    Erthygl

    Invariants and state in testing and formal methods.

Offerynnau Chwilio: