Решение логических уравнений методом итерации в исчислении предикатов первого порядка; Исследования по теоретической физике и математике
| Parent link: | Исследования по теоретической физике и математике.— 1964.— С. 17-24 |
|---|---|
| Prif Awdur: | |
| Iaith: | Rwseg |
| Cyhoeddwyd: |
1964
|
| Fformat: | Pennod Llyfr |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=212577 |