Logical foundations of computer science：international symposium, LFCS 2009, Deerfield Beach, FL, USA, January 2009 : proceedings

Corporate Authors: LFCS 2009 (2009 Deerfield Beach, Fla.); SpringerLink (Online service)
Group Author: Artemov S. N.; Nerode Anil, 1932-
Published: Springer,
Publication Dates: c2009.