| 名称: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
| 标题: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
检索词:
Meseguer
,
检索到: 9 条结果,
检索时间: 0.422 秒
,
排序选项:
排序方式:
隐藏分类导航
- A732研究型图书馆二 (1)
馆藏地点
- computer science (6)
- mathematical logic and formal languages (5)
- artificial intelligence (4)
- artificial intelligence (incl. robotics) (4)
- logic design (4)
- logics and meanings of programs (4)
- software engineering (4)
- programming techniques (3)
- algebra (2)
- algorithm analysis and problem complexity (2)
- computer software (2)
- programming languages, compilers, interpreters (2)
- symbolic and algebraic manipulation (2)
- computation by abstract devices (1)
- computer communication networks (1)
- computing methodologies (1)
- economic policy (1)
- electronic data processing (1)
- free trade (1)
- freedom of religion (1)
主题
| 1. |
|
|
|
| 2. |
|
|
|
| 3. |
|
|
|
| 4. |
|
|
|
| 5. |
|
著者:
Dur谩n
Francisco.
Eker
Steven.
Lincoln
Patrick.
Mart铆-Oliet
Narciso.
Meseguer
Jos茅.
Talcott
Carolyn.
出版社:
Springer-Verlag Berlin Heidelberg,
出版日期: 2007.
文献类型:
|
|
| 6. |
|
|
|
| 7. |
|
|
|
| 8. |
|
|
|
| 9. |
|
|