Algorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | Book |
| Language: | English |
| Published: |
Katowice
Wydawnictwo Uniwersytetu Slaskiego
2000
|
| Series: | Prace Naukowe Uniwersytetu Slaskiego w Katowicach
|
| Subjects: | |
| Online Access: | Перейти в каталог НБ ТГУ |