Mostrando 31 - 40 Resultados de 40 Para Buscar '"Journal of symbolic computation."', tiempo de consulta: 0.02s Limitar resultados
  1. 31

    Recording and Analysing Knowledge-Based Distributed Deduction Processes. por Denzinger, Jorg

    Artículo

    Recording and Analysing Knowledge-Based Distributed Deduction Processes.
  2. 32

    PSATO a Distributed Propositional Prover and its Application to Quasigroup Problems. por Zhang, Hantao

    Artículo

    PSATO a Distributed Propositional Prover and its Application to Quasigroup Problems.
  3. 33

    Parallelizing Imperative Functional Programs the Vectorization Monad. por Hill, Jonathan M. D.

    Artículo

    Parallelizing Imperative Functional Programs the Vectorization Monad.
  4. 34

    Shared Memory Implementation of the Gamma-Operation. por Gladitz, Katia

    Artículo

    Shared Memory Implementation of the Gamma-Operation.
  5. 35

    A Para-Functional Programming Interface for a Parallel Computer Algebra Package. por Schreiner, Wolfgang

    Artículo

    A Para-Functional Programming Interface for a Parallel Computer Algebra Package.
  6. 36

    A Semi-Automatic Multiple-Strategy Approach To Mapping Tree-Structured Symbolic Processing Programs. por Sodan, Angela

    Artículo

    A Semi-Automatic Multiple-Strategy Approach To Mapping Tree-Structured Symbolic Processing Programs.
  7. 37

    The Constraint-Based Knowledge Broker Model Semantics, Implementation and Analysis. por Andreoli, Jean-Marc

    Artículo

    The Constraint-Based Knowledge Broker Model Semantics, Implementation and Analysis.
  8. 38

    Extending the μLog Framework with Local and Conditional Blackboard Operations. por De Bosschere, Koen

    Artículo

    Extending the μLog Framework with Local and Conditional Blackboard Operations.
  9. 39

    Constraint Satisfaction in Distributed Concurrent Logic Programming. por Leung, Ho-Fung

    Artículo

    Constraint Satisfaction in Distributed Concurrent Logic Programming.
  10. 40

    A Methodology for Granularity-Based Control of Parallelism in Logic Programs. por Lopez, P.

    Artículo

    A Methodology for Granularity-Based Control of Parallelism in Logic Programs.

Herramientas de búsqueda: