Ci, którzy interesowali się tym produktem, kupili także
Opis produktu
Instantiation Theory - James G. Williams
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.