Exploring New Frontiers of Theoretical Informatics : IFIP 18th World Computer Congress TC1 3rd International Conference on Theoretical Computer Science (TCS2004) 22.27 August 2004 Toulouse, France - Jean-Jacques Levy, Ernst W. Mayr, John C. Mitchell ((IFIP Advances in Information and Communication Technology))