1
Argitaratua 2010
Aurkibidea: ... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...
Testu osoa
Baliabide elektronikoa eBook
2
Argitaratua 2006
Aurkibidea: ... of Production Rules for Integrity Maintenance -- Modules for Prolog Revisited -- A Local Algorithm...
Testu osoa
Baliabide elektronikoa eBook
3
Argitaratua 2008
Aurkibidea: ... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...
Testu osoa
Baliabide elektronikoa eBook
4
Argitaratua 2008
Aurkibidea: ... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...
Testu osoa
Baliabide elektronikoa eBook
5
Argitaratua 2005
Aurkibidea: ... to NP-Complete Problems -- Guard and Continuation Optimization for Occurrence Representations of CHR...
Testu osoa
Baliabide elektronikoa eBook