Theorem-proving systems / Ewa Orłowska
Сохранено в:
| Вид документа: | |
|---|---|
| Автор: | Orłowska, Ewa |
| Опубликовано: | Warszawa : Państwowe Wydawnictwo Naukowe , 1973 |
| Физические характеристики: |
55 с. ; 24 см
|
| Язык: | Английский |
| Серия: |
Dissertationes mathematicae
103 |
1973, T.103: Theorem-proving systems / Orlowska E.
| Всего : 1 , доступно: 1 | Доступно Заказать | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
|
|||||||||||