Logical foundations of computer science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013, proceedings /

Corporate Authors: LFCS 2013 San Diego, Calif.); SpringerLink (Online service)
Group Author: Artemov, S. N.; Nerode, Anil, 1932-
Published: