Enlarge image Witaj Nieznajomy, zaloguj się
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.
Szczegóły
Instantiation Theory
sierpień 1991
Springer-Verlag GmbH
148
3540543333
9783540543336
235 x 155 x 8
James G. Williams
sierpień 1991
Springer-Verlag GmbH
148
3540543333
9783540543336
235 x 155 x 8
