Решение логических уравнений методом итерации в исчислении предикатов первого порядка; Исследования по теоретической физике и математике
| Parent link: | Исследования по теоретической физике и математике.— 1964.— С. 17-24 |
|---|---|
| Main Author: | |
| Language: | Russian |
| Published: |
1964
|
| Format: | Book Chapter |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=212577 |