Format:
Table of Contents: “... -- References -- Program Synthesis in Saturation -- 1 Introduction -- 2 Preliminaries -- 2.1 Computable Symbols...”
Click to View

Format:
Table of Contents: “....1 Logic Programming Framework -- 2.2 Related Work -- 3 Future -- 3.1 Computational Tool Integration -- 3...”
Click to View

Format:
Table of Contents: “... Foundation of Program Comprehension (Abstract of an Invited Talk) -- Contents -- Regular Contributions -- ACo...”
Click to View

Format:
Table of Contents: “... Definition of CPP -- 4.3 Dynamic Programming Algorithm -- 4.4 Computational Complexity of Dynamic Programming...”
Click to View

Format:
Table of Contents: “... Camera -- 1 Introduction -- 1.1 Use Case -- 1.2 Programming Light Show -- 1.3 Light Network Control -- 2...”
Click to View

Format:
Table of Contents: “... Breeding Success and Efficiency -- 2.5 Some Future Considerations for Breeding -- 2.6 Organization...”
Click to View

Format:
Table of Contents: “...Intro -- Table of Contents -- Preface -- Foreword -- CONTRIBUTORS -- NOTATION -- PART I RAY TRACING...”
Click to View