| Logical Foundations of Computer Science: International Symposium, Lfcs 2013, San Diego, Ca, Usa, January 6-8, 2013. Proceedings 2013 Edition Contributor(s): Artemov, Sergei (Editor), Nerode, Anil (Editor) |
|
 |
ISBN: 3642357210 ISBN-13: 9783642357213 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback - Other Formats Published: November 2012 |
| Additional Information |
| BISAC Categories: - Computers | Computer Science - Mathematics | Logic - Computers | Logic Design |
| Dewey: 004.015 |
| Series: Lecture Notes in Computer Science / Theoretical Computer Sci |
| Physical Information: 0.87" H x 6.14" W x 9.21" (1.31 lbs) 415 pages |