Logical foundations of computer science：international symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007 : proceedings

Corporate Authors: LFCS 2007 (2007 New York, N.Y.); NetLibrary, Inc.
Group Author: Nerode Anil, 1932-; Artemov S. N.
Published: Springer,
Publication Dates: c2007.