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