Vui lòng dùng định danh này để trích dẫn hoặc liên kết đến tài liệu này:
https://thuvienso.bvu.edu.vn/handle/TVDHBRVT/16722| Nhan đề: | Logical Foundations of Computer Science |
| Nhan đề khác: | Lecture Notes in Computer Science |
| Tác giả: | Sergei Artemov Anil Nerode |
| Từ khoá: | Computer Science |
| Năm xuất bản: | 2018 |
| Nhà xuất bản: | Springer |
| Định danh: | http://thuvienso.bvu.edu.vn/handle/TVDHBRVT/16722 |
| Định danh khác: | 10.1007/978-3-319-72056-2 |
| Bộ sưu tập: | Computer Science |
Các tập tin trong tài liệu này:
| Tập tin | Mô tả | Kích thước | Định dạng | |
|---|---|---|---|---|
| 978-3-319-72056-2.pdf | 7,17 MB | Adobe PDF |  Đăng nhập để xem toàn văn |
Khi sử dụng các tài liệu trong Thư viện số phải tuân thủ Luật bản quyền.