Please use this identifier to cite or link to this item:
http://thuvienso.bvu.edu.vn/handle/TVDHBRVT/16722| Title: | Logical Foundations of Computer Science |
| Other Titles: | Lecture Notes in Computer Science |
| Authors: | Sergei Artemov Anil Nerode |
| Keywords: | Computer Science |
| Issue Date: | 2018 |
| Publisher: | Springer |
| URI: | http://thuvienso.bvu.edu.vn/handle/TVDHBRVT/16722 |
| Other Identifiers: | 10.1007/978-3-319-72056-2 |
| Appears in Collections: | Computer Science |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 978-3-319-72056-2.pdf | 7,17 MB | Adobe PDF |  Sign in to read |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.