1
Published 2005
Table of Contents: ... – Implementation and Examples -- SELP – A System for Studying Strong Equivalence Between Logic Programs -- cmodels...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... Cluster Job Execution -- Glue Code Synthesis for Distributed Software Programming -- Interactive...
View full text
Electronic eBook