Решение логических уравнений методом итерации в исчислении предикатов первого порядка
| Parent link: | Исследования по теоретической физике и математике.— 1964.— С. 17-24 |
|---|---|
| Autor principal: | |
| Idioma: | rus |
| Publicat: |
1964
|
| Format: | Capítol de llibre |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=212577 |