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

Saved in:
Bibliographic Details
Corporate Authors: LFCS 2007 (2007 New York, N.Y.); NetLibrary, Inc.
Group Author: Nerode Anil, 1932-; Artemov S. N.
Published: Springer,
Publisher Address: Berlin New York
Publication Dates: c2007.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 4514
Subjects:
Online Access: http://dx.doi.org/10.1007/978-3-540-72734-7
Carrier Form: xi, 511 p.: ill. ; 24 cm.
ISBN: 9783540727347 (electronic bk.)
3540727345 (electronic bk.)
Index Number: TP301
CLC: TP301.6-532
Contents: Includes bibliographical references and index.