Please use this identifier to cite or link to this item:
https://thuvienso.bvu.edu.vn/handle/TVDHBRVT/16722Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Sergei Artemov | |
| dc.contributor.author | Anil Nerode | |
| dc.date.accessioned | 2018-01-15T12:56:38Z | - |
| dc.date.available | 2018-01-15T12:56:38Z | - |
| dc.date.issued | 2018 | |
| dc.identifier | 10.1007/978-3-319-72056-2 | |
| dc.identifier.uri | http://thuvienso.bvu.edu.vn/handle/TVDHBRVT/16722 | - |
| dc.language.iso | en | |
| dc.publisher | Springer | |
| dc.subject | Computer Science | |
| dc.title | Logical Foundations of Computer Science | |
| dc.title.alternative | Lecture Notes in Computer Science | |
| dc.type | ebook | |
| 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.