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

Saved in:
Corporate Author: LFCS 2007 New York, N.Y.)
Other Authors: Artemov, S. N., Nerode, Anil, 1932-
Format: Book
Language:English
Published: Berlin ; Springer, c2007.
Series:Lecture notes in computer science (Springer) . ; 4514.
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
Physical Description:xi, 511 p. : il. ; 24 cm.
Bibliography:Incluye referencias bibliográficas e índice.
ISBN:9783540727323 (pbk.)
3540727329 (pbk.)