1
Publicerad 2010
Innehållsförteckning: ... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...
Hämta fulltext
Elektronisk E-bok
2
Publicerad 2006
Innehållsförteckning: ... of Production Rules for Integrity Maintenance -- Modules for Prolog Revisited -- A Local Algorithm...
Hämta fulltext
Elektronisk E-bok
3
Publicerad 2008
Innehållsförteckning: ... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...
Hämta fulltext
Elektronisk E-bok
4
Publicerad 2008
Innehållsförteckning: ... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...
Hämta fulltext
Elektronisk E-bok
5
Publicerad 2005
Innehållsförteckning: ... to NP-Complete Problems -- Guard and Continuation Optimization for Occurrence Representations of CHR...
Hämta fulltext
Elektronisk E-bok