Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings /

Corporate Author: SpringerLink (Online service)
Other Authors: Artemov, Sergei N. (Editor), Nerode, Anil. (Editor)
Format: SpringerLink eBooks
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
Series:Lecture Notes in Computer Science, 4514
Subjects:
Online Access:http://dx.doi.org/10.1007/978-3-540-72734-7

Internet

http://dx.doi.org/10.1007/978-3-540-72734-7

3rd Floor Main Library

Call Number: A1234.567
Copy 1 Available