Logical Foundations of Computer Science
| Author | : Sergei Artemov |
| Publisher | : Springer |
| Total Pages | : 522 |
| Release | : 2007-06-30 |
| ISBN-10 | : 9783540727347 |
| ISBN-13 | : 3540727345 |
| Rating | : 4/5 (47 Downloads) |
Book Synopsis Logical Foundations of Computer Science by : Sergei Artemov
Download or read book Logical Foundations of Computer Science written by Sergei Artemov and published by Springer. This book was released on 2007-06-30 with total page 522 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2007, held in New York, NY, USA in June 2007. The volume presents 36 revised refereed papers that address all current aspects of logic in computer science.
