Решение логических уравнений в исчислении одноместных предикатов первого порядка
| Parent link: | Исследования по теоретической физике и математике.— 1964.— С. 3-16 |
|---|---|
| Autore principale: | |
| Lingua: | russo |
| Pubblicazione: |
1964
|
| Natura: | Capitolo di libro |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=212576 |