Modal logics are coalgebraic /
Đã lưu trong:
Tác giả khác: | , , , , |
---|---|
Định dạng: | Bài viết |
Ngôn ngữ: | English |
Những chủ đề: | |
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 |
---|
LEADER | 00964nam a2200349 4500 | ||
---|---|---|---|
001 | DLU110129987 | ||
005 | ##20111223 | ||
040 | # | # | |a DLU |b eng |
041 | # | # | |a eng |
044 | # | # | |a uk |
245 | # | # | |a Modal logics are coalgebraic / |c Corina Cirstea ... [et al.]. |
653 | # | # | |a Automata theory |
653 | # | # | |a Coalgebra |
653 | # | # | |a Compositionality |
653 | # | # | |a Concurrency |
653 | # | # | |a Knowledge representation |
653 | # | # | |a Modal logic |
700 | # | # | |a Cirstea, Corina. |
700 | # | # | |a Kurz, Alexander. |
700 | # | # | |a Pattinson, Dirk. |
700 | # | # | |a Schroder, Lutz. |
700 | # | # | |a Venema, Yde. |
773 | # | # | |t The Computer Journal |g Vol. 54, no. 1 (January 2011), p. 31-41 |
920 | # | # | |a Phòng Tạp chí -- Trung tâm Thông tin - Thư viện Trường Đại học Đà Lạt |
994 | # | # | |a DLU |
900 | # | # | |a True |
911 | # | # | |a Trương Bảo Trâm Anh |
925 | # | # | |a G |
926 | # | # | |a A |
927 | # | # | |a BB |
980 | # | # | |a Thư viện Trường Đại học Đà Lạt |