Infinity in logic and computation：international conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007 : revised selected papers

Corporate Authors: ILC 2007 (2007 Cape Town, South Africa); SpringerLink (Online service)
Group Author: Archibald Margaret.
Published: Springer,
Publication Dates: c2009.