Решение логических уравнений методом итерации в исчислении предикатов первого порядка; Исследования по теоретической физике и математике
| Parent link: | Исследования по теоретической физике и математике.— 1964.— С. 17-24 |
|---|---|
| Glavni avtor: | |
| Jezik: | ruščina |
| Izdano: |
1964
|
| Format: | Book Chapter |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=212577 |
| Opisa ni na voljo. |