From Logic Design to Logic Programming Theorem Proving Techniques and P-Functions Snyers Dominique Heftet / 1987 / Engelsk
Artificial Evolution Third European Conference, AE '97, Nimes, France, October 22-24, 1997, Selected Papers Hao Jin-Kao Heftet / 1998 / Engelsk
Artificial Evolution European Conference, AE '95, Brest, France, September 4 - 6, 1995. Selected Papers. Alliot Jean-Marc Heftet / 1996 / Engelsk
