Sep 30, 1991 ... A.W. Biermann and G. Nadathur. This grant .... The name, which now extends to a full family of theorem provers, is based on the first ... procedure. By iterative deepening we mean expanding the search tree fully to a specified.

Personal website of David Uthus, PhD.

Professional profile for Giles Phillips. Web strategist and technologist. Academic research in user interfaces for design and search, software prototyping. Developer of Louis Sullivan shape grammar. MIT Media Lab researcher