Εναλλακτικές αναζητήσεις:
functionals function » functions functional, function dysfunction, functional connection
prolog functionals » problem functionals, flow functionals, plug functional
function function » function functional, functions functional, function dysfunction
parallel prolog » parallel problem, parallel program, parallel parking
function https » functions https, fiction https
1
Έκδοση 2010
Πίνακας περιεχομένων: ... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
2
Έκδοση 2006
Πίνακας περιεχομένων: ... of Production Rules for Integrity Maintenance -- Modules for Prolog Revisited -- A Local Algorithm...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
3
Έκδοση 2013
Πίνακας περιεχομένων: ... Manipulation -- Implementing Equational Constraints in a Functional Language -- On the Efficient Implementation...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
4
Έκδοση 2008
Πίνακας περιεχομένων: ... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
5
Έκδοση 2008
Πίνακας περιεχομένων: ... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
6
Έκδοση 2005
Πίνακας περιεχομένων: ... -- Coordination of Many Agents -- Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
7
Έκδοση 2014
Πίνακας περιεχομένων: ... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
8
Έκδοση 2010
Πίνακας περιεχομένων: ... -- Explicitly Typed Exceptions for Haskell -- Conversion by Evaluation -- Parallelism and Distribution...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
9
Έκδοση 2007
Πίνακας περιεχομένων: ...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο