Lecture Notes in Artificial Intelligence 1632
I would like to thank the many people who have made CADE16 possible. I am grateful to the following groups and individuals: to the Program Commit ... CADE12, Nancy, France, 1994 (Springer, LNAI 814) CADE13, Rutgers University, USA, 1996 (Springer, LNAI 1104) ... Teyjus|A Compiler and Abstract Machine Based Implementation of Prolog:::::287 ...