1
Udgivet 2005
Indholdsfortegnelse: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Få fuldtekst
Electronisk eBog
2
Udgivet 2013
Indholdsfortegnelse: ...Invited Papers -- Executing Specifications using Synthesis and Constraint Solving -- Runtime...
Få fuldtekst
Electronisk eBog
3
Udgivet 2005
Indholdsfortegnelse: ... for Solving Very Large Scale Instances of the Design Distribution Problem for Distributed Database Systems...
Få fuldtekst
Electronisk eBog
4
Udgivet 2005
Indholdsfortegnelse: ... -- Uncertain Reasoning and Decision Making -- Diagnosing Java Programs with Static Abstractions of Data...
Få fuldtekst
Electronisk eBog