Format:
Table of Contents: “... Procedures -- 1 Introduction -- 2 Abstract Given Clause Procedures -- 3 Otter and iProver Loops -- 4 DISCOUNT...”
Click to View

Format:
Table of Contents: “...4 The Creative Composition Problem (CCP) -- 4.1 Formal Definition -- 4.2 Dynamic Programming...”
Click to View

Format:
Table of Contents: “... Quality-Based Machine Learning Development through Extended Feature Models -- 1 Introduction -- 2 Related...”
Click to View

Format:
Table of Contents: “... Outline -- 3.1 I. Preliminary Phase: Team Formation -- 3.2 II. Main Phase: RAPID IERE Development -- 3...”
Click to View

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

Format:
Table of Contents: “....2 Defining a Framework for Modeling: Design and Notation -- 8.3 Developing the S-BPM Buildbook -- 8.3.1...”
Click to View