Instantiation Theory

Beschreibung

This monograph presents a new, general algorithm for use in building theorem provers and logic programming systems. The algorithm is based on a theory that may be developed into a general theory of logics. Appropriate applications of the algorithm and its underlying theory are given.

Autor*in

James G. Williams

Themen in »Instantiation Theory«

Automat Variable algorithm algorithms automated deduction classification logic programming algorithm analysis and problem complexity

Stimmen zu »Instantiation Theory«

Details

Link teilen