I: Overviews -- An Overview of Mechanical Theorem Proving -- Game Playing Programs: An Approach and An Overview -- GPS and Decision Making: An Overview -- Natural Language Question Answering Systems: 1969 -- II: Problems in Foundations -- The Role of Weltanschauung in Problem Solving and Inquiry...

Content -- § 1. Justification of the coordinate-free approach -- § 2. Vector-spaces -- a) Definition of a vector-space -- b) Inner products and semi-inner products -- c) Bases of a vector-space, orthogonal complement -- d) Linear functions, linear mappings and adjoint mappings -- e) Definition...

Preface -- I. Introductory Survey -- 1: A Survey of Derivative Characterization of Constrained Extrema -- II. Finite Dimensional Problems -- 2: Equality Constraints -- 3: Inequalities As Added Constraints -- 4: Extensions and Applications -- III. Variational Problems -- 5: The Problem of Bolza...

I Invariant Imbedding and Linear Systems -- II Cauchy Problems for Ordinary Differential, Difference and Integral Equations -- III Invariant Imbedding and Partial Differential Equations -- IV Reduction of Matrix Integral Equations with Displacement Kernels on the Half-Line to Cauchy Systems -- V...