Zarys dedukcyjnuch metod automatycznego wnioskowania /
| Основен автор: | Szalas, Andrzej |
|---|---|
| Формат: | Книга |
| Език: | Polish |
| Публикувано: |
Warszawa :
PAN,
1993.
|
| Предмети: |
| Физически характеристики: |
121 p. ; 22 sm. |
|---|---|
| ISBN: |
8390045176 |