Automata logic and infinite games : a guide to current research
Đã lưu trong:
| Tác giả chính: | |
|---|---|
| Tác giả khác: | |
| Ngôn ngữ: | Tiếng Anh |
| Được phát hành: |
Berlin
Springer
2002
|
| Những chủ đề: | |
| Các nhãn: |
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
Là người đầu tiên ghi lời nhận xét!