Finite Model Theory and Its Applications
Đã lưu trong:
| Những tác giả chính: | , , , , , , , |
|---|---|
| Định dạng: | Sách |
| Ngôn ngữ: | English |
| Được phát hành: |
Springer Berlin Heidelberg
2020
|
| Những chủ đề: | |
| Truy cập trực tuyến: | https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82768 |
| Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
| id |
oai:scholar.dlu.edu.vn:DLU123456789-82768 |
|---|---|
| record_format |
dspace |
| spelling |
oai:scholar.dlu.edu.vn:DLU123456789-827682023-10-06T02:52:35Z Finite Model Theory and Its Applications Grädel, Erich Kolaitis, Phokion G. Libkin, Leonid Marx, Maarten Spencer, Joel Vardi, Moshe Y. Venema, Yde Weinstein, Scott Computer Science Theory of Computation Mathematical Logic and Formal Languages 2020-02-20T02:46:03Z 2020-02-20T02:46:03Z 2007 Book 978-3-540-00428-8 978-3-540-68804-4 https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82768 en Texts in Theoretical Computer Science. An EATCS Series Springer-Verlag Berlin Heidelberg application/pdf Springer Berlin Heidelberg |
| institution |
Thư viện Trường Đại học Đà Lạt |
| collection |
Thư viện số |
| language |
English |
| topic |
Computer Science Theory of Computation Mathematical Logic and Formal Languages |
| spellingShingle |
Computer Science Theory of Computation Mathematical Logic and Formal Languages Grädel, Erich Kolaitis, Phokion G. Libkin, Leonid Marx, Maarten Spencer, Joel Vardi, Moshe Y. Venema, Yde Weinstein, Scott Finite Model Theory and Its Applications |
| format |
Book |
| author |
Grädel, Erich Kolaitis, Phokion G. Libkin, Leonid Marx, Maarten Spencer, Joel Vardi, Moshe Y. Venema, Yde Weinstein, Scott |
| author_facet |
Grädel, Erich Kolaitis, Phokion G. Libkin, Leonid Marx, Maarten Spencer, Joel Vardi, Moshe Y. Venema, Yde Weinstein, Scott |
| author_sort |
Grädel, Erich |
| title |
Finite Model Theory and Its Applications |
| title_short |
Finite Model Theory and Its Applications |
| title_full |
Finite Model Theory and Its Applications |
| title_fullStr |
Finite Model Theory and Its Applications |
| title_full_unstemmed |
Finite Model Theory and Its Applications |
| title_sort |
finite model theory and its applications |
| publisher |
Springer Berlin Heidelberg |
| publishDate |
2020 |
| url |
https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82768 |
| _version_ |
1819789038078394368 |