Εμφανίζονται 31 - 40 Αποτελέσματα από 40 για την αναζήτηση '"Journal of symbolic computation."', χρόνος αναζήτησης: 0,01δλ Περιορισμός αποτελεσμάτων
  1. 31

    Recording and Analysing Knowledge-Based Distributed Deduction Processes. ανά Denzinger, Jorg

    Τόπος έκδοσης Journal of symbolic computation.
    Άρθρο

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

    PSATO a Distributed Propositional Prover and its Application to Quasigroup Problems. ανά Zhang, Hantao

    Τόπος έκδοσης Journal of symbolic computation.
    Άρθρο

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

    Parallelizing Imperative Functional Programs the Vectorization Monad. ανά Hill, Jonathan M. D.

    Τόπος έκδοσης Journal of symbolic computation.
    Άρθρο

    Parallelizing Imperative Functional Programs the Vectorization Monad.
  4. 34

    Shared Memory Implementation of the Gamma-Operation. ανά Gladitz, Katia

    Τόπος έκδοσης Journal of symbolic computation.
    Άρθρο

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

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

    Τόπος έκδοσης Journal of symbolic computation.
    Άρθρο

    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. ανά Sodan, Angela

    Τόπος έκδοσης Journal of symbolic computation.
    Άρθρο

    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. ανά Andreoli, Jean-Marc

    Τόπος έκδοσης Journal of symbolic computation.
    Άρθρο

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

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

    Τόπος έκδοσης Journal of symbolic computation.
    Άρθρο

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

    Constraint Satisfaction in Distributed Concurrent Logic Programming. ανά Leung, Ho-Fung

    Τόπος έκδοσης Journal of symbolic computation.
    Άρθρο

    Constraint Satisfaction in Distributed Concurrent Logic Programming.
  10. 40

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

    Τόπος έκδοσης Journal of symbolic computation.
    Άρθρο

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

Εργαλεία αναζήτησης: