Zarys dedukcyjnuch metod automatycznego wnioskowania /
| Основен автор: | Szalas, Andrzej |
|---|---|
| Формат: | Книга |
| Език: | Polish |
| Публикувано: |
Warszawa :
PAN,
1993.
|
| Предмети: |
| Налични ЦБ-БАН | Сигнатура: |
III 184612 |
|---|