Infinity in logic and computation : international conference, ILC 2007 : Cape Town, South Africa, November 3-5, 2007 : revised selected papers. : Nov 2007, Cape Town, South Africa.
(Lecture Notes in Computer Science ; 5489. Lecture Notes in Artificial Intelligence)
Program and revised selected papers."The conference on Infinity in Logic and Computation (ILC) (...) It was the first conference in South Africa (...)...