Yazar
jean louis lassez
4 cilt bulundu.
Cilt sonuçları
Logic programming
Jean-Louis Lassez · MIT Press
804 sayfa · 1987
Logic programming / Congresses / Programmation logique / Congrès / Recursive functions
Computational logic
J. A. Robinson, Jean-Louis Lassez · MIT Press
735 sayfa · 1991
Logic programming / Automatic theorem proving