Automated reasoning /
| Други автори: | Shi, Z. (ed.) |
|---|---|
| Формат: | Глава |
| Език: | English |
| Публикувано: |
Amsterdam :
North-Holland,
1992.
|
| Серия: |
IFIP Transactions A : Computer Science and Technology ;
A-19 |
| Предмети: |
| Налични ЦБ-БАН | Сигнатура: |
BBlSd P-II-1 |
|---|